的定
-ãK
2017 11 13
-ãK
的定
£Û-灵论
1
2
3 的定
-ãK
的定
£Û-灵论
1
2
3 的定
-ãK
的定
£Û-灵论
1
2
3 的定
-ãK
的定
与有¡ÙÃ存储()
访¯
模拟际计
Ã解决¯
¡«
的读
Ã
拒绝
-ãK
的定
与有¡ÙÃ存储()
访¯
模拟际计
Ã解决¯
¡«
的读
Ã
拒绝
-ãK
的定
与有¡ÙÃ存储()
访¯
模拟际计
Ã解决¯
¡«
的读
Ã
拒绝
-ãK
的定
与有¡ÙÃ存储()
访¯
模拟际计
Ã解决¯
¡«
的读
Ã
拒绝
-ãK
的定
与有¡ÙÃ存储()
访¯
模拟际计
Ã解决¯
¡«
的读
Ã
拒绝
-ãK
的定
与有¡ÙÃ存储()
访¯
模拟际计
Ã解决¯
¡«
的读
Ã
拒绝
-ãK
的定
与有¡ÙÃ存储()
访¯
模拟际计
Ã解决¯
¡«
的读
Ã
拒绝
-ãK
的定
与有¡ÙÃ存储()
访¯
模拟际计
Ã解决¯
¡«
的读
Ã
拒绝
-ãK
的定
与有¡ÙÃ存储()
访¯
模拟际计
Ã解决¯
¡«
的读
Ã
拒绝
-ãK
的定
的定
½Â1 (ã(Å(Q,
P
, Γ, δ, q
0
, q
accept
, q
reject
))
Q´G8
P
´Ñ\i1L§AÏxÎÒ 6∈
P
Γ´i1L§Ù¥ Γ,
P
Γ
δ : Q × Γ Q × Γ × {L, R}=£¼êµ
~Xδ(q, a) = (r, b, L)L«
^ba¿?\Gr
ÖÞ£
q
0
, q
accept
, q
reject
Q©OL«å©!É!áýG§
q
accept
6= q
reject
-ãK
的定
的定
½Â1 (ã(Å(Q,
P
, Γ, δ, q
0
, q
accept
, q
reject
))
Q´G8
P
´Ñ\i1L§AÏxÎÒ 6∈
P
Γ´i1L§Ù¥ Γ,
P
Γ
δ : Q × Γ Q × Γ × {L, R}=£¼êµ
~Xδ(q, a) = (r, b, L)L«
^ba¿?\Gr
ÖÞ£
q
0
, q
accept
, q
reject
Q©OL«å©!É!áýG§
q
accept
6= q
reject
-ãK
的定
的定
½Â1 (ã(Å(Q,
P
, Γ, δ, q
0
, q
accept
, q
reject
))
Q´G8
P
´Ñ\i1L§AÏxÎÒ 6∈
P
Γ´i1L§Ù¥ Γ,
P
Γ
δ : Q × Γ Q × Γ × {L, R}=£¼êµ
~Xδ(q, a) = (r, b, L)L«
^ba¿?\Gr
ÖÞ£
q
0
, q
accept
, q
reject
Q©OL«å©!É!áýG§
q
accept
6= q
reject
-ãK
的定
的定
½Â1 (ã(Å(Q,
P
, Γ, δ, q
0
, q
accept
, q
reject
))
Q´G8
P
´Ñ\i1L§AÏxÎÒ 6∈
P
Γ´i1L§Ù¥ Γ,
P
Γ
δ : Q × Γ Q × Γ × {L, R}=£¼êµ
~Xδ(q, a) = (r, b, L)L«
^ba¿?\Gr
ÖÞ£
q
0
, q
accept
, q
reject
Q©OL«å©!É!áýG§
q
accept
6= q
reject
-ãK
的定
的定
½Â1 (ã(Å(Q,
P
, Γ, δ, q
0
, q
accept
, q
reject
))
Q´G8
P
´Ñ\i1L§AÏxÎÒ 6∈
P
Γ´i1L§Ù¥ Γ,
P
Γ
δ : Q × Γ Q × Γ × {L, R}=£¼êµ
~Xδ(q, a) = (r, b, L)L«
^ba¿?\Gr
ÖÞ£
q
0
, q
accept
, q
reject
Q©OL«å©!É!áýG§
q
accept
6= q
reject
-ãK
的定
的定
½Â1 (ã(Å(Q,
P
, Γ, δ, q
0
, q
accept
, q
reject
))
Q´G8
P
´Ñ\i1L§AÏxÎÒ 6∈
P
Γ´i1L§Ù¥ Γ,
P
Γ
δ : Q × Γ Q × Γ × {L, R}=£¼êµ
~Xδ(q, a) = (r, b, L)L«
^ba¿?\Gr
ÖÞ£
q
0
, q
accept
, q
reject
Q©OL«å©!É!áýG§
q
accept
6= q
reject
-ãK
的定
的定
½Â1 (ã(Å(Q,
P
, Γ, δ, q
0
, q
accept
, q
reject
))
Q´G8
P
´Ñ\i1L§AÏxÎÒ 6∈
P
Γ´i1L§Ù¥ Γ,
P
Γ
δ : Q × Γ Q × Γ × {L, R}=£¼êµ
~Xδ(q, a) = (r, b, L)L«
^ba¿?\Gr
ÖÞ£
q
0
, q
accept
, q
reject
Q©OL«å©!É!áýG§
q
accept
6= q
reject
-ãK
的定
的定
½Â1 (ã(Å(Q,
P
, Γ, δ, q
0
, q
accept
, q
reject
))
Q´G8
P
´Ñ\i1L§AÏxÎÒ 6∈
P
Γ´i1L§Ù¥ Γ,
P
Γ
δ : Q × Γ Q × Γ × {L, R}=£¼êµ
~Xδ(q, a) = (r, b, L)L«
^ba¿?\Gr
ÖÞ£
q
0
, q
accept
, q
reject
Q©OL«å©!É!áýG§
q
accept
6= q
reject
-ãK
的定
的定
/
qΓu, vuq v
cqcuv
v的第v
1011q
7
0111
uaq
i
bv
δ(q
i
, b) = (q
j
, c, L)
uaq
i
bvuq
j
acv
q
i
bv
q
j
cv
δ(q
i
, b) = (q
j
, c, R)
uaq
i
bvuacq
j
v
-ãK
的定
的定
/qΓu, vuqv
cqcuv
v的第v
1011q
7
0111
uaq
i
bv
δ(q
i
, b) = (q
j
, c, L)
uaq
i
bvuq
j
acv
q
i
bv
q
j
cv
δ(q
i
, b) = (q
j
, c, R)
uaq
i
bvuacq
j
v
-ãK
的定
的定
/qΓu, vuqv
cqcuv
v的第v
1011q
7
0111
uaq
i
bv
δ(q
i
, b) = (q
j
, c, L)
uaq
i
bvuq
j
acv
q
i
bv
q
j
cv
δ(q
i
, b) = (q
j
, c, R)
uaq
i
bvuacq
j
v
-ãK
的定
的定
/qΓu, vuqv
cqcuv
v的第v
1011q
7
0111
uaq
i
bv
δ(q
i
, b) = (q
j
, c, L)
uaq
i
bvuq
j
acv
q
i
bv
q
j
cv
δ(q
i
, b) = (q
j
, c, R)
uaq
i
bvuacq
j
v
-ãK
的定
的定
/qΓu, vuqv
cqcuv
v的第v
1011q
7
0111
uaq
i
bv
δ(q
i
, b) = (q
j
, c, L)
uaq
i
bvuq
j
acv
q
i
bv
q
j
cv
δ(q
i
, b) = (q
j
, c, R)
uaq
i
bvuacq
j
v
-ãK
的定
的定
/qΓu, vuqv
cqcuv
v的第v
1011q
7
0111
uaq
i
bv
δ(q
i
, b) = (q
j
, c, L)
uaq
i
bvuq
j
acv
q
i
bv
q
j
cv
δ(q
i
, b) = (q
j
, c, R)
uaq
i
bvuacq
j
v
-ãK
的定
的定
/qΓu, vuqv
cqcuv
v的第v
1011q
7
0111
uaq
i
bv
δ(q
i
, b) = (q
j
, c, L)
uaq
i
bvuq
j
acv
q
i
bv
q
j
cv
δ(q
i
, b) = (q
j
, c, R)
uaq
i
bvuacq
j
v
-ãK
的定
的定
/qΓu, vuqv
cqcuv
v的第v
1011q
7
0111
uaq
i
bv
δ(q
i
, b) = (q
j
, c, L)uaq
i
bv
uq
j
acv
q
i
bv
q
j
cv
δ(q
i
, b) = (q
j
, c, R)uaq
i
bv
uacq
j
v
-ãK
的定
的定
/qΓu, vuqv
cqcuv
v的第v
1011q
7
0111
uaq
i
bv
δ(q
i
, b) = (q
j
, c, L)uaq
i
bvuq
j
acv
q
i
bv
q
j
cv
δ(q
i
, b) = (q
j
, c, R)uaq
i
bv
uacq
j
v
-ãK
的定
的定
/qΓu, vuqv
cqcuv
v的第v
1011q
7
0111
uaq
i
bv
δ(q
i
, b) = (q
j
, c, L)uaq
i
bvuq
j
acv
q
i
bv
q
j
cv
δ(q
i
, b) = (q
j
, c, R)uaq
i
bvuacq
j
v
-ãK
的定
的定
/qΓu, vuqv
cqcuv
v的第v
1011q
7
0111
uaq
i
bv
δ(q
i
, b) = (q
j
, c, L)uaq
i
bvuq
j
acv
q
i
bv
q
j
cv
δ(q
i
, b) = (q
j
, c, R)uaq
i
bvuacq
j
v
-ãK
的定
的定
/qΓu, vuqv
cqcuv
v的第v
1011q
7
0111
uaq
i
bv
δ(q
i
, b) = (q
j
, c, L)uaq
i
bvuq
j
acv
q
i
bvq
j
cv
δ(q
i
, b) = (q
j
, c, R)uaq
i
bvuacq
j
v
-ãK
的定
的定
å
q
0
wåq
0
子最
q
accept
拒绝
q
reject
拒绝
wC
1
, · · · , C
k
使
1 C
1
Mwå
2 C
i
C
i+1
3 C
k
M()w
ML(M)
M
{x|q
start
x `
α
1
2
, x
X
, t q
accept
, α
1
, α Γ
}
-ãK
的定
的定
åq
0
wåq
0
子最
q
accept
拒绝
q
reject
拒绝
wC
1
, · · · , C
k
使
1 C
1
Mwå
2 C
i
C
i+1
3 C
k
M()w
ML(M)
M
{x|q
start
x `
α
1
2
, x
X
, t q
accept
, α
1
, α Γ
}
-ãK
的定
的定
åq
0
wåq
0
子最
q
accept
拒绝
q
reject
拒绝
wC
1
, · · · , C
k
使
1 C
1
Mwå
2 C
i
C
i+1
3 C
k
M()w
ML(M)
M
{x|q
start
x `
α
1
2
, x
X
, t q
accept
, α
1
, α Γ
}
-ãK
的定
的定
åq
0
wåq
0
子最
q
accept
拒绝q
reject
拒绝
wC
1
, · · · , C
k
使
1 C
1
Mwå
2 C
i
C
i+1
3 C
k
M()w
ML(M)
M
{x|q
start
x `
α
1
2
, x
X
, t q
accept
, α
1
, α Γ
}
-ãK
的定
的定
åq
0
wåq
0
子最
q
accept
拒绝q
reject
拒绝
wC
1
, · · · , C
k
使
1 C
1
Mwå
2 C
i
C
i+1
3 C
k
M()w
ML(M)
M
{x|q
start
x `
α
1
2
, x
X
, t q
accept
, α
1
, α Γ
}
-ãK
的定
的定
åq
0
wåq
0
子最
q
accept
拒绝q
reject
拒绝
wC
1
, · · · , C
k
使
1 C
1
Mwå
2 C
i
C
i+1
3 C
k
M()w
ML(M)
M
{x|q
start
x `
α
1
2
, x
X
, t q
accept
, α
1
, α Γ
}
-ãK
的定
的定
åq
0
wåq
0
子最
q
accept
拒绝q
reject
拒绝
wC
1
, · · · , C
k
使
1 C
1
Mwå
2 C
i
C
i+1
3 C
k
M()w
ML(M)
M
{x|q
start
x `
α
1
2
, x
X
, t q
accept
, α
1
, α Γ
}
-ãK
的定
的定
åq
0
wåq
0
子最
q
accept
拒绝q
reject
拒绝
wC
1
, · · · , C
k
使
1 C
1
Mwå
2 C
i
C
i+1
3 C
k
M()w
ML(M)
M
{x|q
start
x `
α
1
2
, x
X
, t q
accept
, α
1
, α Γ
}
-ãK
的定
的定
åq
0
wåq
0
子最
q
accept
拒绝q
reject
拒绝
wC
1
, · · · , C
k
使
1 C
1
Mwå
2 C
i
C
i+1
3 C
k
M()w
ML(M)
M
{x|q
start
x `
α
1
2
, x
X
, t q
accept
, α
1
, α Γ
}
-ãK
的定
的定
åq
0
wåq
0
子最
q
accept
拒绝q
reject
拒绝
wC
1
, · · · , C
k
使
1 C
1
Mwå
2 C
i
C
i+1
3 C
k
M()w
ML(M)
M
{x|q
start
x `
α
1
2
, x
X
, t q
accept
, α
1
, α Γ
}
-ãK
的定
的定
åq
0
wåq
0
子最
q
accept
拒绝q
reject
拒绝
wC
1
, · · · , C
k
使
1 C
1
Mwå
2 C
i
C
i+1
3 C
k
M()w
ML(M)M
{x|q
start
x `
α
1
2
, x
X
, t q
accept
, α
1
, α Γ
}
-ãK
的定
的定
½Â2 (ã(£O)
XJ,óU,ã(Å£O§K¡Ù´ã(
£O½48qÞó"
½Â3 (½ì)
[ØÌã(Å¡´½ì
½Â4 (ã(½)
XJ,óU,ã(ާK¡Ù´ã(
½½48ó"
-ãK
的定
的定
½Â2 (ã(£O)
XJ,óU,ã(Å£O§K¡Ù´ã(
£O½48qÞó"
½Â3 (½ì)
[ØÌã(Å¡´½ì
½Â4 (ã(½)
XJ,óU,ã(ާK¡Ù´ã(
½½48ó"
-ãK
的定
的定
½Â2 (ã(£O)
XJ,óU,ã(Å£O§K¡Ù´ã(
£O½48qÞó"
½Â3 (½ì)
[ØÌã(Å¡´½ì
½Â4 (ã(½)
XJ,óU,ã(ާK¡Ù´ã(
½½48ó"
-ãK
的定
的定
½Â2 (ã(£O)
XJ,óU,ã(Å£O§K¡Ù´ã(
£O½48qÞó"
½Â3 (½ì)
[ØÌã(Å¡´½ì
½Â4 (ã(½)
XJ,óU,ã(ާK¡Ù´ã(
½½48ó"
-ãK
的定
~1 (EóL = {0
n
1
n
|n 1}TM)
最左
0X到到1
1Y X
X0
-ãK
的定
~1 (EóL = {0
n
1
n
|n 1}TM)
最左
0X到到1
1Y X
X0
-ãK
的定
~1 (EóL = {0
n
1
n
|n 1}TM)
最左
0X到到1
1Y X
X0
-ãK
的定
~1 (EóL = {0
n
1
n
|n 1}TM)
最左
0X到到1
1Y X
X0
-ãK
的定
~1 (EóL = {0
n
1
n
|n 1}TM)
最左
0X到到1
1Y X
X0
-ãK
的定
~1 (EóL = {0
n
1
n
|n 1}TM)
最左
0X到到1
1Y X
X0
-ãK
的定
~1 (EóL = {0
n
1
n
|n 1}TM)
最左
0X到到1
1Y X
X0
-ãK
的定
1 δ(q
0
, 0) = (q
1
, X , R)
0X
2 δ(q
1
, 0) = (q
1
, 0, R)
1
3 δ(q
1
, Y ) = (q
1
, Y, R)
1
4 δ(q
1
, 1) = (q
2
, Y, L)
1Y
5 δ(q
2
, Y ) = (q
2
, Y, L)
6 δ(q
2
, 0) = (q
2
, 0, L)
X0
7 δ(q
2
, X) = (q
0
, X , R)
Xq
0
(1)
8 δ(q
0
, Y ) = (q
3
, Y, R)
0XY q
3
9 δ(q
3
, Y ) = (q
3
, Y, R)
10 δ(q
3
, ) = (q
4
, , 0)
0,1
-ãK
的定
1 δ(q
0
, 0) = (q
1
, X , R)
0X
2 δ(q
1
, 0) = (q
1
, 0, R)
1
3 δ(q
1
, Y ) = (q
1
, Y, R)
1
4 δ(q
1
, 1) = (q
2
, Y, L)
1Y
5 δ(q
2
, Y ) = (q
2
, Y, L)
6 δ(q
2
, 0) = (q
2
, 0, L)
X0
7 δ(q
2
, X) = (q
0
, X , R)
Xq
0
(1)
8 δ(q
0
, Y ) = (q
3
, Y, R)
0XY q
3
9 δ(q
3
, Y ) = (q
3
, Y, R)
10 δ(q
3
, ) = (q
4
, , 0)
0,1
-ãK
的定
1 δ(q
0
, 0) = (q
1
, X , R) 0X
2 δ(q
1
, 0) = (q
1
, 0, R)
1
3 δ(q
1
, Y ) = (q
1
, Y, R)
1
4 δ(q
1
, 1) = (q
2
, Y, L)
1Y
5 δ(q
2
, Y ) = (q
2
, Y, L)
6 δ(q
2
, 0) = (q
2
, 0, L)
X0
7 δ(q
2
, X) = (q
0
, X , R)
Xq
0
(1)
8 δ(q
0
, Y ) = (q
3
, Y, R)
0XY q
3
9 δ(q
3
, Y ) = (q
3
, Y, R)
10 δ(q
3
, ) = (q
4
, , 0)
0,1
-ãK
的定
1 δ(q
0
, 0) = (q
1
, X , R) 0X
2 δ(q
1
, 0) = (q
1
, 0, R)
1
3 δ(q
1
, Y ) = (q
1
, Y, R)
1
4 δ(q
1
, 1) = (q
2
, Y, L)
1Y
5 δ(q
2
, Y ) = (q
2
, Y, L)
6 δ(q
2
, 0) = (q
2
, 0, L)
X0
7 δ(q
2
, X) = (q
0
, X , R)
Xq
0
(1)
8 δ(q
0
, Y ) = (q
3
, Y, R)
0XY q
3
9 δ(q
3
, Y ) = (q
3
, Y, R)
10 δ(q
3
, ) = (q
4
, , 0)
0,1
-ãK
的定
1 δ(q
0
, 0) = (q
1
, X , R) 0X
2 δ(q
1
, 0) = (q
1
, 0, R) 1
3 δ(q
1
, Y ) = (q
1
, Y, R)
1
4 δ(q
1
, 1) = (q
2
, Y, L)
1Y
5 δ(q
2
, Y ) = (q
2
, Y, L)
6 δ(q
2
, 0) = (q
2
, 0, L)
X0
7 δ(q
2
, X) = (q
0
, X , R)
Xq
0
(1)
8 δ(q
0
, Y ) = (q
3
, Y, R)
0XY q
3
9 δ(q
3
, Y ) = (q
3
, Y, R)
10 δ(q
3
, ) = (q
4
, , 0)
0,1
-ãK
的定
1 δ(q
0
, 0) = (q
1
, X , R) 0X
2 δ(q
1
, 0) = (q
1
, 0, R) 1
3 δ(q
1
, Y ) = (q
1
, Y, R)
1
4 δ(q
1
, 1) = (q
2
, Y, L)
1Y
5 δ(q
2
, Y ) = (q
2
, Y, L)
6 δ(q
2
, 0) = (q
2
, 0, L)
X0
7 δ(q
2
, X) = (q
0
, X , R)
Xq
0
(1)
8 δ(q
0
, Y ) = (q
3
, Y, R)
0XY q
3
9 δ(q
3
, Y ) = (q
3
, Y, R)
10 δ(q
3
, ) = (q
4
, , 0)
0,1
-ãK
的定
1 δ(q
0
, 0) = (q
1
, X , R) 0X
2 δ(q
1
, 0) = (q
1
, 0, R) 1
3 δ(q
1
, Y ) = (q
1
, Y, R) 1
4 δ(q
1
, 1) = (q
2
, Y, L)
1Y
5 δ(q
2
, Y ) = (q
2
, Y, L)
6 δ(q
2
, 0) = (q
2
, 0, L)
X0
7 δ(q
2
, X) = (q
0
, X , R)
Xq
0
(1)
8 δ(q
0
, Y ) = (q
3
, Y, R)
0XY q
3
9 δ(q
3
, Y ) = (q
3
, Y, R)
10 δ(q
3
, ) = (q
4
, , 0)
0,1
-ãK
的定
1 δ(q
0
, 0) = (q
1
, X , R) 0X
2 δ(q
1
, 0) = (q
1
, 0, R) 1
3 δ(q
1
, Y ) = (q
1
, Y, R) 1
4 δ(q
1
, 1) = (q
2
, Y, L)
1Y
5 δ(q
2
, Y ) = (q
2
, Y, L)
6 δ(q
2
, 0) = (q
2
, 0, L)
X0
7 δ(q
2
, X) = (q
0
, X , R)
Xq
0
(1)
8 δ(q
0
, Y ) = (q
3
, Y, R)
0XY q
3
9 δ(q
3
, Y ) = (q
3
, Y, R)
10 δ(q
3
, ) = (q
4
, , 0)
0,1
-ãK
的定
1 δ(q
0
, 0) = (q
1
, X , R) 0X
2 δ(q
1
, 0) = (q
1
, 0, R) 1
3 δ(q
1
, Y ) = (q
1
, Y, R) 1
4 δ(q
1
, 1) = (q
2
, Y, L) 1Y
5 δ(q
2
, Y ) = (q
2
, Y, L)
6 δ(q
2
, 0) = (q
2
, 0, L)
X0
7 δ(q
2
, X) = (q
0
, X , R)
Xq
0
(1)
8 δ(q
0
, Y ) = (q
3
, Y, R)
0XY q
3
9 δ(q
3
, Y ) = (q
3
, Y, R)
10 δ(q
3
, ) = (q
4
, , 0)
0,1
-ãK
的定
1 δ(q
0
, 0) = (q
1
, X , R) 0X
2 δ(q
1
, 0) = (q
1
, 0, R) 1
3 δ(q
1
, Y ) = (q
1
, Y, R) 1
4 δ(q
1
, 1) = (q
2
, Y, L) 1Y
5 δ(q
2
, Y ) = (q
2
, Y, L)
6 δ(q
2
, 0) = (q
2
, 0, L)
X0
7 δ(q
2
, X) = (q
0
, X , R)
Xq
0
(1)
8 δ(q
0
, Y ) = (q
3
, Y, R)
0XY q
3
9 δ(q
3
, Y ) = (q
3
, Y, R)
10 δ(q
3
, ) = (q
4
, , 0)
0,1
-ãK
的定
1 δ(q
0
, 0) = (q
1
, X , R) 0X
2 δ(q
1
, 0) = (q
1
, 0, R) 1
3 δ(q
1
, Y ) = (q
1
, Y, R) 1
4 δ(q
1
, 1) = (q
2
, Y, L) 1Y
5 δ(q
2
, Y ) = (q
2
, Y, L)
6 δ(q
2
, 0) = (q
2
, 0, L)
X0
7 δ(q
2
, X) = (q
0
, X , R)
Xq
0
(1)
8 δ(q
0
, Y ) = (q
3
, Y, R)
0XY q
3
9 δ(q
3
, Y ) = (q
3
, Y, R)
10 δ(q
3
, ) = (q
4
, , 0)
0,1
-ãK
的定
1 δ(q
0
, 0) = (q
1
, X , R) 0X
2 δ(q
1
, 0) = (q
1
, 0, R) 1
3 δ(q
1
, Y ) = (q
1
, Y, R) 1
4 δ(q
1
, 1) = (q
2
, Y, L) 1Y
5 δ(q
2
, Y ) = (q
2
, Y, L)
6 δ(q
2
, 0) = (q
2
, 0, L) X0
7 δ(q
2
, X) = (q
0
, X , R)
Xq
0
(1)
8 δ(q
0
, Y ) = (q
3
, Y, R)
0XY q
3
9 δ(q
3
, Y ) = (q
3
, Y, R)
10 δ(q
3
, ) = (q
4
, , 0)
0,1
-ãK
的定
1 δ(q
0
, 0) = (q
1
, X , R) 0X
2 δ(q
1
, 0) = (q
1
, 0, R) 1
3 δ(q
1
, Y ) = (q
1
, Y, R) 1
4 δ(q
1
, 1) = (q
2
, Y, L) 1Y
5 δ(q
2
, Y ) = (q
2
, Y, L)
6 δ(q
2
, 0) = (q
2
, 0, L) X0
7 δ(q
2
, X) = (q
0
, X , R)
Xq
0
(1)
8 δ(q
0
, Y ) = (q
3
, Y, R)
0XY q
3
9 δ(q
3
, Y ) = (q
3
, Y, R)
10 δ(q
3
, ) = (q
4
, , 0)
0,1
-ãK
的定
1 δ(q
0
, 0) = (q
1
, X , R) 0X
2 δ(q
1
, 0) = (q
1
, 0, R) 1
3 δ(q
1
, Y ) = (q
1
, Y, R) 1
4 δ(q
1
, 1) = (q
2
, Y, L) 1Y
5 δ(q
2
, Y ) = (q
2
, Y, L)
6 δ(q
2
, 0) = (q
2
, 0, L) X0
7 δ(q
2
, X) = (q
0
, X , R) Xq
0
(1)
8 δ(q
0
, Y ) = (q
3
, Y, R)
0XY q
3
9 δ(q
3
, Y ) = (q
3
, Y, R)
10 δ(q
3
, ) = (q
4
, , 0)
0,1
-ãK
的定
1 δ(q
0
, 0) = (q
1
, X , R) 0X
2 δ(q
1
, 0) = (q
1
, 0, R) 1
3 δ(q
1
, Y ) = (q
1
, Y, R) 1
4 δ(q
1
, 1) = (q
2
, Y, L) 1Y
5 δ(q
2
, Y ) = (q
2
, Y, L)
6 δ(q
2
, 0) = (q
2
, 0, L) X0
7 δ(q
2
, X) = (q
0
, X , R) Xq
0
(1)
8 δ(q
0
, Y ) = (q
3
, Y, R)
0XY q
3
9 δ(q
3
, Y ) = (q
3
, Y, R)
10 δ(q
3
, ) = (q
4
, , 0)
0,1
-ãK
的定
1 δ(q
0
, 0) = (q
1
, X , R) 0X
2 δ(q
1
, 0) = (q
1
, 0, R) 1
3 δ(q
1
, Y ) = (q
1
, Y, R) 1
4 δ(q
1
, 1) = (q
2
, Y, L) 1Y
5 δ(q
2
, Y ) = (q
2
, Y, L)
6 δ(q
2
, 0) = (q
2
, 0, L) X0
7 δ(q
2
, X) = (q
0
, X , R) Xq
0
(1)
8 δ(q
0
, Y ) = (q
3
, Y, R) 0XY q
3
9 δ(q
3
, Y ) = (q
3
, Y, R)
10 δ(q
3
, ) = (q
4
, , 0)
0,1
-ãK
的定
1 δ(q
0
, 0) = (q
1
, X , R) 0X
2 δ(q
1
, 0) = (q
1
, 0, R) 1
3 δ(q
1
, Y ) = (q
1
, Y, R) 1
4 δ(q
1
, 1) = (q
2
, Y, L) 1Y
5 δ(q
2
, Y ) = (q
2
, Y, L)
6 δ(q
2
, 0) = (q
2
, 0, L) X0
7 δ(q
2
, X) = (q
0
, X , R) Xq
0
(1)
8 δ(q
0
, Y ) = (q
3
, Y, R) 0XY q
3
9 δ(q
3
, Y ) = (q
3
, Y, R)
10 δ(q
3
, ) = (q
4
, , 0)
0,1
-ãK
的定
1 δ(q
0
, 0) = (q
1
, X , R) 0X
2 δ(q
1
, 0) = (q
1
, 0, R) 1
3 δ(q
1
, Y ) = (q
1
, Y, R) 1
4 δ(q
1
, 1) = (q
2
, Y, L) 1Y
5 δ(q
2
, Y ) = (q
2
, Y, L)
6 δ(q
2
, 0) = (q
2
, 0, L) X0
7 δ(q
2
, X) = (q
0
, X , R) Xq
0
(1)
8 δ(q
0
, Y ) = (q
3
, Y, R) 0XY q
3
9 δ(q
3
, Y ) = (q
3
, Y, R)
10 δ(q
3
, ) = (q
4
, , 0)
0,1
-ãK
的定
1 δ(q
0
, 0) = (q
1
, X , R) 0X
2 δ(q
1
, 0) = (q
1
, 0, R) 1
3 δ(q
1
, Y ) = (q
1
, Y, R) 1
4 δ(q
1
, 1) = (q
2
, Y, L) 1Y
5 δ(q
2
, Y ) = (q
2
, Y, L)
6 δ(q
2
, 0) = (q
2
, 0, L) X0
7 δ(q
2
, X) = (q
0
, X , R) Xq
0
(1)
8 δ(q
0
, Y ) = (q
3
, Y, R) 0XY q
3
9 δ(q
3
, Y ) = (q
3
, Y, R)
10 δ(q
3
, ) = (q
4
, , 0)
0,1
-ãK
的定
1 δ(q
0
, 0) = (q
1
, X , R) 0X
2 δ(q
1
, 0) = (q
1
, 0, R) 1
3 δ(q
1
, Y ) = (q
1
, Y, R) 1
4 δ(q
1
, 1) = (q
2
, Y, L) 1Y
5 δ(q
2
, Y ) = (q
2
, Y, L)
6 δ(q
2
, 0) = (q
2
, 0, L) X0
7 δ(q
2
, X) = (q
0
, X , R) Xq
0
(1)
8 δ(q
0
, Y ) = (q
3
, Y, R) 0XY q
3
9 δ(q
3
, Y ) = (q
3
, Y, R)
10 δ(q
3
, ) = (q
4
, , 0) 0,1
-ãK
的定
拒绝
δ(q
3
, 1) = (q
reject
, 1, 0)
10拒绝
δ(q
3
, 0) = (q
reject
, 0, 0)
10拒绝
δ(q
1
, ) = (q
reject
, , 0)
01拒绝
-ãK
的定
拒绝
δ(q
3
, 1) = (q
reject
, 1, 0)
10拒绝
δ(q
3
, 0) = (q
reject
, 0, 0)
10拒绝
δ(q
1
, ) = (q
reject
, , 0)
01拒绝
-ãK
的定
拒绝
δ(q
3
, 1) = (q
reject
, 1, 0)10拒绝
δ(q
3
, 0) = (q
reject
, 0, 0)
10拒绝
δ(q
1
, ) = (q
reject
, , 0)
01拒绝
-ãK
的定
拒绝
δ(q
3
, 1) = (q
reject
, 1, 0)10拒绝
δ(q
3
, 0) = (q
reject
, 0, 0)
10拒绝
δ(q
1
, ) = (q
reject
, , 0)
01拒绝
-ãK
的定
拒绝
δ(q
3
, 1) = (q
reject
, 1, 0)10拒绝
δ(q
3
, 0) = (q
reject
, 0, 0)10拒绝
δ(q
1
, ) = (q
reject
, , 0)
01拒绝
-ãK
的定
拒绝
δ(q
3
, 1) = (q
reject
, 1, 0)10拒绝
δ(q
3
, 0) = (q
reject
, 0, 0)10拒绝
δ(q
1
, ) = (q
reject
, , 0)
01拒绝
-ãK
的定
拒绝
δ(q
3
, 1) = (q
reject
, 1, 0)10拒绝
δ(q
3
, 0) = (q
reject
, 0, 0)10拒绝
δ(q
1
, ) = (q
reject
, , 0)01拒绝
-ãK
的定
0 1 X Y
q
0
(q
1
, X , R) (q
3
, Y, R)
q
1
(q
1
, 0, R) (q
2
, Y, L) (q
1
, Y, R)
q
2
(q
2
, 0, L) (q
0
, X , R) (q
2
, Y, L)
q
3
(q
3
, Y, R) (q
4
, , R)
q
4
-ãK
的定
0 1 X Y
q
0
(q
1
, X , R) (q
3
, Y, R)
q
1
(q
1
, 0, R) (q
2
, Y, L) (q
1
, Y, R)
q
2
(q
2
, 0, L) (q
0
, X , R) (q
2
, Y, L)
q
3
(q
3
, Y, R) (q
4
, , R)
q
4
-ãK
的定
0 1 X Y
q
0
(q
1
, X , R) (q
3
, Y, R)
q
1
(q
1
, 0, R) (q
2
, Y, L) (q
1
, Y, R)
q
2
(q
2
, 0, L) (q
0
, X , R) (q
2
, Y, L)
q
3
(q
3
, Y, R) (q
4
, , R)
q
4
-ãK
的定
0 1 X Y
q
0
(q
1
, X , R) (q
3
, Y, R)
q
1
(q
1
, 0, R) (q
2
, Y, L) (q
1
, Y, R)
q
2
(q
2
, 0, L) (q
0
, X , R) (q
2
, Y, L)
q
3
(q
3
, Y, R) (q
4
, , R)
q
4
-ãK
的定
0 1 X Y
q
0
(q
1
, X , R) (q
3
, Y, R)
q
1
(q
1
, 0, R) (q
2
, Y, L) (q
1
, Y, R)
q
2
(q
2
, 0, L) (q
0
, X , R) (q
2
, Y, L)
q
3
(q
3
, Y, R) (q
4
, , R)
q
4
-ãK
的定
0 1 X Y
q
0
(q
1
, X , R) (q
3
, Y, R)
q
1
(q
1
, 0, R) (q
2
, Y, L) (q
1
, Y, R)
q
2
(q
2
, 0, L) (q
0
, X , R) (q
2
, Y, L)
q
3
(q
3
, Y, R) (q
4
, , R)
q
4
-ãK
的定
q
0
0011
q
0
0011
` Xq
1
011 ` X0q
1
11 ` Xq
2
0Y 1
` q
2
X0Y 1 ` Xq
0
0Y 1 ` XXq
1
Y 1 ` XXY q
1
1
` XXq
2
Y Y ` Xq
2
XY Y ` XXq
0
Y Y ` XXY q
3
Y
` XXY Y q
3
` XXY Y q
4
-ãK
的定
q
0
0011
q
0
0011 ` Xq
1
011
` X0q
1
11 ` Xq
2
0Y 1
` q
2
X0Y 1 ` Xq
0
0Y 1 ` XXq
1
Y 1 ` XXY q
1
1
` XXq
2
Y Y ` Xq
2
XY Y ` XXq
0
Y Y ` XXY q
3
Y
` XXY Y q
3
` XXY Y q
4
-ãK
的定
q
0
0011
q
0
0011 ` Xq
1
011 ` X0q
1
11
` Xq
2
0Y 1
` q
2
X0Y 1 ` Xq
0
0Y 1 ` XXq
1
Y 1 ` XXY q
1
1
` XXq
2
Y Y ` Xq
2
XY Y ` XXq
0
Y Y ` XXY q
3
Y
` XXY Y q
3
` XXY Y q
4
-ãK
的定
q
0
0011
q
0
0011 ` Xq
1
011 ` X0q
1
11 ` Xq
2
0Y 1
` q
2
X0Y 1 ` Xq
0
0Y 1 ` XXq
1
Y 1 ` XXY q
1
1
` XXq
2
Y Y ` Xq
2
XY Y ` XXq
0
Y Y ` XXY q
3
Y
` XXY Y q
3
` XXY Y q
4
-ãK
的定
q
0
0011
q
0
0011 ` Xq
1
011 ` X0q
1
11 ` Xq
2
0Y 1
` q
2
X0Y 1
` Xq
0
0Y 1 ` XXq
1
Y 1 ` XXY q
1
1
` XXq
2
Y Y ` Xq
2
XY Y ` XXq
0
Y Y ` XXY q
3
Y
` XXY Y q
3
` XXY Y q
4
-ãK
的定
q
0
0011
q
0
0011 ` Xq
1
011 ` X0q
1
11 ` Xq
2
0Y 1
` q
2
X0Y 1 ` Xq
0
0Y 1
` XXq
1
Y 1 ` XXY q
1
1
` XXq
2
Y Y ` Xq
2
XY Y ` XXq
0
Y Y ` XXY q
3
Y
` XXY Y q
3
` XXY Y q
4
-ãK
的定
q
0
0011
q
0
0011 ` Xq
1
011 ` X0q
1
11 ` Xq
2
0Y 1
` q
2
X0Y 1 ` Xq
0
0Y 1 ` XXq
1
Y 1
` XXY q
1
1
` XXq
2
Y Y ` Xq
2
XY Y ` XXq
0
Y Y ` XXY q
3
Y
` XXY Y q
3
` XXY Y q
4
-ãK
的定
q
0
0011
q
0
0011 ` Xq
1
011 ` X0q
1
11 ` Xq
2
0Y 1
` q
2
X0Y 1 ` Xq
0
0Y 1 ` XXq
1
Y 1 ` XXY q
1
1
` XXq
2
Y Y ` Xq
2
XY Y ` XXq
0
Y Y ` XXY q
3
Y
` XXY Y q
3
` XXY Y q
4
-ãK
的定
q
0
0011
q
0
0011 ` Xq
1
011 ` X0q
1
11 ` Xq
2
0Y 1
` q
2
X0Y 1 ` Xq
0
0Y 1 ` XXq
1
Y 1 ` XXY q
1
1
` XXq
2
Y Y
` Xq
2
XY Y ` XXq
0
Y Y ` XXY q
3
Y
` XXY Y q
3
` XXY Y q
4
-ãK
的定
q
0
0011
q
0
0011 ` Xq
1
011 ` X0q
1
11 ` Xq
2
0Y 1
` q
2
X0Y 1 ` Xq
0
0Y 1 ` XXq
1
Y 1 ` XXY q
1
1
` XXq
2
Y Y ` Xq
2
XY Y
` XXq
0
Y Y ` XXY q
3
Y
` XXY Y q
3
` XXY Y q
4
-ãK
的定
q
0
0011
q
0
0011 ` Xq
1
011 ` X0q
1
11 ` Xq
2
0Y 1
` q
2
X0Y 1 ` Xq
0
0Y 1 ` XXq
1
Y 1 ` XXY q
1
1
` XXq
2
Y Y ` Xq
2
XY Y ` XXq
0
Y Y
` XXY q
3
Y
` XXY Y q
3
` XXY Y q
4
-ãK
的定
q
0
0011
q
0
0011 ` Xq
1
011 ` X0q
1
11 ` Xq
2
0Y 1
` q
2
X0Y 1 ` Xq
0
0Y 1 ` XXq
1
Y 1 ` XXY q
1
1
` XXq
2
Y Y ` Xq
2
XY Y ` XXq
0
Y Y ` XXY q
3
Y
` XXY Y q
3
` XXY Y q
4
-ãK
的定
q
0
0011
q
0
0011 ` Xq
1
011 ` X0q
1
11 ` Xq
2
0Y 1
` q
2
X0Y 1 ` Xq
0
0Y 1 ` XXq
1
Y 1 ` XXY q
1
1
` XXq
2
Y Y ` Xq
2
XY Y ` XXq
0
Y Y ` XXY q
3
Y
` XXY Y q
3
` XXY Y q
4
-ãK
的定
q
0
0011
q
0
0011 ` Xq
1
011 ` X0q
1
11 ` Xq
2
0Y 1
` q
2
X0Y 1 ` Xq
0
0Y 1 ` XXq
1
Y 1 ` XXY q
1
1
` XXq
2
Y Y ` Xq
2
XY Y ` XXq
0
Y Y ` XXY q
3
Y
` XXY Y q
3
` XXY Y q
4
-ãK
的定
q
0
0010:
q
0
0010
` Xq
1
010 ` X0q
1
10 ` Xq
2
0Y 0
` q
2
X0Y 0 ` Xq
0
0Y 0 ` XXq
1
Y 0 ` XXY q
1
0
` XXY 0q
1
-ãK
的定
q
0
0010:
q
0
0010 ` Xq
1
010
` X0q
1
10 ` Xq
2
0Y 0
` q
2
X0Y 0 ` Xq
0
0Y 0 ` XXq
1
Y 0 ` XXY q
1
0
` XXY 0q
1
-ãK
的定
q
0
0010:
q
0
0010 ` Xq
1
010 ` X0q
1
10
` Xq
2
0Y 0
` q
2
X0Y 0 ` Xq
0
0Y 0 ` XXq
1
Y 0 ` XXY q
1
0
` XXY 0q
1
-ãK
的定
q
0
0010:
q
0
0010 ` Xq
1
010 ` X0q
1
10 ` Xq
2
0Y 0
` q
2
X0Y 0 ` Xq
0
0Y 0 ` XXq
1
Y 0 ` XXY q
1
0
` XXY 0q
1
-ãK
的定
q
0
0010:
q
0
0010 ` Xq
1
010 ` X0q
1
10 ` Xq
2
0Y 0
` q
2
X0Y 0
` Xq
0
0Y 0 ` XXq
1
Y 0 ` XXY q
1
0
` XXY 0q
1
-ãK
的定
q
0
0010:
q
0
0010 ` Xq
1
010 ` X0q
1
10 ` Xq
2
0Y 0
` q
2
X0Y 0 ` Xq
0
0Y 0
` XXq
1
Y 0 ` XXY q
1
0
` XXY 0q
1
-ãK
的定
q
0
0010:
q
0
0010 ` Xq
1
010 ` X0q
1
10 ` Xq
2
0Y 0
` q
2
X0Y 0 ` Xq
0
0Y 0 ` XXq
1
Y 0
` XXY q
1
0
` XXY 0q
1
-ãK
的定
q
0
0010:
q
0
0010 ` Xq
1
010 ` X0q
1
10 ` Xq
2
0Y 0
` q
2
X0Y 0 ` Xq
0
0Y 0 ` XXq
1
Y 0 ` XXY q
1
0
` XXY 0q
1
-ãK
的定
q
0
0010:
q
0
0010 ` Xq
1
010 ` X0q
1
10 ` Xq
2
0Y 0
` q
2
X0Y 0 ` Xq
0
0Y 0 ` XXq
1
Y 0 ` XXY q
1
0
` XXY 0q
1
-ãK
的定
q
0
start
q
1
q
2
q
3
q
4
0 X , R
Y Y, R
Y Y, R, 0 0, R
1 Y, L
Y Y, L, 0 0, L
X X , R
Y Y, R
, 0
-ãK
的定
~2 (Eó{a
n
b
n+1
c
n+2
|n 0}TM)
δ(q
0
, a) = (q
1
, X , R)
aX
δ(q
1
, a) = (q
1
, a, R)
b
δ(q
1
, Y ) = (q
1
, Y, R)
b
δ(q
1
, b) = (q
2
, Y, R)
bY
δ(q
2
, b) = (q
2
, b, R)
c
δ(q
2
, Z) = (q
2
, Z, R )
c
δ(q
2
, c) = (q
3
, Z, L)
cZ
-ãK
的定
~2 (Eó{a
n
b
n+1
c
n+2
|n 0}TM)
δ(q
0
, a) = (q
1
, X , R)
aX
δ(q
1
, a) = (q
1
, a, R)
b
δ(q
1
, Y ) = (q
1
, Y, R)
b
δ(q
1
, b) = (q
2
, Y, R)
bY
δ(q
2
, b) = (q
2
, b, R)
c
δ(q
2
, Z) = (q
2
, Z, R )
c
δ(q
2
, c) = (q
3
, Z, L)
cZ
-ãK
的定
~2 (Eó{a
n
b
n+1
c
n+2
|n 0}TM)
δ(q
0
, a) = (q
1
, X , R) aX
δ(q
1
, a) = (q
1
, a, R)
b
δ(q
1
, Y ) = (q
1
, Y, R)
b
δ(q
1
, b) = (q
2
, Y, R)
bY
δ(q
2
, b) = (q
2
, b, R)
c
δ(q
2
, Z) = (q
2
, Z, R )
c
δ(q
2
, c) = (q
3
, Z, L)
cZ
-ãK
的定
~2 (Eó{a
n
b
n+1
c
n+2
|n 0}TM)
δ(q
0
, a) = (q
1
, X , R) aX
δ(q
1
, a) = (q
1
, a, R)
b
δ(q
1
, Y ) = (q
1
, Y, R)
b
δ(q
1
, b) = (q
2
, Y, R)
bY
δ(q
2
, b) = (q
2
, b, R)
c
δ(q
2
, Z) = (q
2
, Z, R )
c
δ(q
2
, c) = (q
3
, Z, L)
cZ
-ãK
的定
~2 (Eó{a
n
b
n+1
c
n+2
|n 0}TM)
δ(q
0
, a) = (q
1
, X , R) aX
δ(q
1
, a) = (q
1
, a, R) b
δ(q
1
, Y ) = (q
1
, Y, R)
b
δ(q
1
, b) = (q
2
, Y, R)
bY
δ(q
2
, b) = (q
2
, b, R)
c
δ(q
2
, Z) = (q
2
, Z, R )
c
δ(q
2
, c) = (q
3
, Z, L)
cZ
-ãK
的定
~2 (Eó{a
n
b
n+1
c
n+2
|n 0}TM)
δ(q
0
, a) = (q
1
, X , R) aX
δ(q
1
, a) = (q
1
, a, R) b
δ(q
1
, Y ) = (q
1
, Y, R)
b
δ(q
1
, b) = (q
2
, Y, R)
bY
δ(q
2
, b) = (q
2
, b, R)
c
δ(q
2
, Z) = (q
2
, Z, R )
c
δ(q
2
, c) = (q
3
, Z, L)
cZ
-ãK
的定
~2 (Eó{a
n
b
n+1
c
n+2
|n 0}TM)
δ(q
0
, a) = (q
1
, X , R) aX
δ(q
1
, a) = (q
1
, a, R) b
δ(q
1
, Y ) = (q
1
, Y, R) b
δ(q
1
, b) = (q
2
, Y, R)
bY
δ(q
2
, b) = (q
2
, b, R)
c
δ(q
2
, Z) = (q
2
, Z, R )
c
δ(q
2
, c) = (q
3
, Z, L)
cZ
-ãK
的定
~2 (Eó{a
n
b
n+1
c
n+2
|n 0}TM)
δ(q
0
, a) = (q
1
, X , R) aX
δ(q
1
, a) = (q
1
, a, R) b
δ(q
1
, Y ) = (q
1
, Y, R) b
δ(q
1
, b) = (q
2
, Y, R)
bY
δ(q
2
, b) = (q
2
, b, R)
c
δ(q
2
, Z) = (q
2
, Z, R )
c
δ(q
2
, c) = (q
3
, Z, L)
cZ
-ãK
的定
~2 (Eó{a
n
b
n+1
c
n+2
|n 0}TM)
δ(q
0
, a) = (q
1
, X , R) aX
δ(q
1
, a) = (q
1
, a, R) b
δ(q
1
, Y ) = (q
1
, Y, R) b
δ(q
1
, b) = (q
2
, Y, R) bY
δ(q
2
, b) = (q
2
, b, R)
c
δ(q
2
, Z) = (q
2
, Z, R )
c
δ(q
2
, c) = (q
3
, Z, L)
cZ
-ãK
的定
~2 (Eó{a
n
b
n+1
c
n+2
|n 0}TM)
δ(q
0
, a) = (q
1
, X , R) aX
δ(q
1
, a) = (q
1
, a, R) b
δ(q
1
, Y ) = (q
1
, Y, R) b
δ(q
1
, b) = (q
2
, Y, R) bY
δ(q
2
, b) = (q
2
, b, R)
c
δ(q
2
, Z) = (q
2
, Z, R )
c
δ(q
2
, c) = (q
3
, Z, L)
cZ
-ãK
的定
~2 (Eó{a
n
b
n+1
c
n+2
|n 0}TM)
δ(q
0
, a) = (q
1
, X , R) aX
δ(q
1
, a) = (q
1
, a, R) b
δ(q
1
, Y ) = (q
1
, Y, R) b
δ(q
1
, b) = (q
2
, Y, R) bY
δ(q
2
, b) = (q
2
, b, R) c
δ(q
2
, Z) = (q
2
, Z, R )
c
δ(q
2
, c) = (q
3
, Z, L)
cZ
-ãK
的定
~2 (Eó{a
n
b
n+1
c
n+2
|n 0}TM)
δ(q
0
, a) = (q
1
, X , R) aX
δ(q
1
, a) = (q
1
, a, R) b
δ(q
1
, Y ) = (q
1
, Y, R) b
δ(q
1
, b) = (q
2
, Y, R) bY
δ(q
2
, b) = (q
2
, b, R) c
δ(q
2
, Z) = (q
2
, Z, R )
c
δ(q
2
, c) = (q
3
, Z, L)
cZ
-ãK
的定
~2 (Eó{a
n
b
n+1
c
n+2
|n 0}TM)
δ(q
0
, a) = (q
1
, X , R) aX
δ(q
1
, a) = (q
1
, a, R) b
δ(q
1
, Y ) = (q
1
, Y, R) b
δ(q
1
, b) = (q
2
, Y, R) bY
δ(q
2
, b) = (q
2
, b, R) c
δ(q
2
, Z) = (q
2
, Z, R ) c
δ(q
2
, c) = (q
3
, Z, L)
cZ
-ãK
的定
~2 (Eó{a
n
b
n+1
c
n+2
|n 0}TM)
δ(q
0
, a) = (q
1
, X , R) aX
δ(q
1
, a) = (q
1
, a, R) b
δ(q
1
, Y ) = (q
1
, Y, R) b
δ(q
1
, b) = (q
2
, Y, R) bY
δ(q
2
, b) = (q
2
, b, R) c
δ(q
2
, Z) = (q
2
, Z, R ) c
δ(q
2
, c) = (q
3
, Z, L)
cZ
-ãK
的定
~2 (Eó{a
n
b
n+1
c
n+2
|n 0}TM)
δ(q
0
, a) = (q
1
, X , R) aX
δ(q
1
, a) = (q
1
, a, R) b
δ(q
1
, Y ) = (q
1
, Y, R) b
δ(q
1
, b) = (q
2
, Y, R) bY
δ(q
2
, b) = (q
2
, b, R) c
δ(q
2
, Z) = (q
2
, Z, R ) c
δ(q
2
, c) = (q
3
, Z, L) cZ
-ãK
的定
δ(q
3
, Z) = (q
3
, Z, L)
Xa
δ(q
3
, b) = (q
3
, b, L)
δ(q
3
, Y ) = (q
3
, Y, L)
δ(q
3
, a) = (q
3
, a, L)
δ(q
3
, X) = (q
0
, X , R)
Xq
0
c
δ(q
0
, Y ) = (q
4
, Y, R)
b, c
δ(q
4
, Y ) = (q
4
, Y, R)
-ãK
的定
δ(q
3
, Z) = (q
3
, Z, L) Xa
δ(q
3
, b) = (q
3
, b, L)
δ(q
3
, Y ) = (q
3
, Y, L)
δ(q
3
, a) = (q
3
, a, L)
δ(q
3
, X) = (q
0
, X , R)
Xq
0
c
δ(q
0
, Y ) = (q
4
, Y, R)
b, c
δ(q
4
, Y ) = (q
4
, Y, R)
-ãK
的定
δ(q
3
, Z) = (q
3
, Z, L) Xa
δ(q
3
, b) = (q
3
, b, L)
δ(q
3
, Y ) = (q
3
, Y, L)
δ(q
3
, a) = (q
3
, a, L)
δ(q
3
, X) = (q
0
, X , R)
Xq
0
c
δ(q
0
, Y ) = (q
4
, Y, R)
b, c
δ(q
4
, Y ) = (q
4
, Y, R)
-ãK
的定
δ(q
3
, Z) = (q
3
, Z, L) Xa
δ(q
3
, b) = (q
3
, b, L)
δ(q
3
, Y ) = (q
3
, Y, L)
δ(q
3
, a) = (q
3
, a, L)
δ(q
3
, X) = (q
0
, X , R)
Xq
0
c
δ(q
0
, Y ) = (q
4
, Y, R)
b, c
δ(q
4
, Y ) = (q
4
, Y, R)
-ãK
的定
δ(q
3
, Z) = (q
3
, Z, L) Xa
δ(q
3
, b) = (q
3
, b, L)
δ(q
3
, Y ) = (q
3
, Y, L)
δ(q
3
, a) = (q
3
, a, L)
δ(q
3
, X) = (q
0
, X , R)
Xq
0
c
δ(q
0
, Y ) = (q
4
, Y, R)
b, c
δ(q
4
, Y ) = (q
4
, Y, R)
-ãK
的定
δ(q
3
, Z) = (q
3
, Z, L) Xa
δ(q
3
, b) = (q
3
, b, L)
δ(q
3
, Y ) = (q
3
, Y, L)
δ(q
3
, a) = (q
3
, a, L)
δ(q
3
, X) = (q
0
, X , R)
Xq
0
c
δ(q
0
, Y ) = (q
4
, Y, R)
b, c
δ(q
4
, Y ) = (q
4
, Y, R)
-ãK
的定
δ(q
3
, Z) = (q
3
, Z, L) Xa
δ(q
3
, b) = (q
3
, b, L)
δ(q
3
, Y ) = (q
3
, Y, L)
δ(q
3
, a) = (q
3
, a, L)
δ(q
3
, X) = (q
0
, X , R)
Xq
0
c
δ(q
0
, Y ) = (q
4
, Y, R)
b, c
δ(q
4
, Y ) = (q
4
, Y, R)
-ãK
的定
δ(q
3
, Z) = (q
3
, Z, L) Xa
δ(q
3
, b) = (q
3
, b, L)
δ(q
3
, Y ) = (q
3
, Y, L)
δ(q
3
, a) = (q
3
, a, L)
δ(q
3
, X) = (q
0
, X , R)
Xq
0
c
δ(q
0
, Y ) = (q
4
, Y, R)
b, c
δ(q
4
, Y ) = (q
4
, Y, R)
-ãK
的定
δ(q
3
, Z) = (q
3
, Z, L) Xa
δ(q
3
, b) = (q
3
, b, L)
δ(q
3
, Y ) = (q
3
, Y, L)
δ(q
3
, a) = (q
3
, a, L)
δ(q
3
, X) = (q
0
, X , R)
Xq
0
c
δ(q
0
, Y ) = (q
4
, Y, R)
b, c
δ(q
4
, Y ) = (q
4
, Y, R)
-ãK
的定
δ(q
3
, Z) = (q
3
, Z, L) Xa
δ(q
3
, b) = (q
3
, b, L)
δ(q
3
, Y ) = (q
3
, Y, L)
δ(q
3
, a) = (q
3
, a, L)
δ(q
3
, X) = (q
0
, X , R) Xq
0
c
δ(q
0
, Y ) = (q
4
, Y, R)
b, c
δ(q
4
, Y ) = (q
4
, Y, R)
-ãK
的定
δ(q
3
, Z) = (q
3
, Z, L) Xa
δ(q
3
, b) = (q
3
, b, L)
δ(q
3
, Y ) = (q
3
, Y, L)
δ(q
3
, a) = (q
3
, a, L)
δ(q
3
, X) = (q
0
, X , R) Xq
0
c
δ(q
0
, Y ) = (q
4
, Y, R)
b, c
δ(q
4
, Y ) = (q
4
, Y, R)
-ãK
的定
δ(q
3
, Z) = (q
3
, Z, L) Xa
δ(q
3
, b) = (q
3
, b, L)
δ(q
3
, Y ) = (q
3
, Y, L)
δ(q
3
, a) = (q
3
, a, L)
δ(q
3
, X) = (q
0
, X , R) Xq
0
c
δ(q
0
, Y ) = (q
4
, Y, R) b, c
δ(q
4
, Y ) = (q
4
, Y, R)
-ãK
的定
δ(q
3
, Z) = (q
3
, Z, L) Xa
δ(q
3
, b) = (q
3
, b, L)
δ(q
3
, Y ) = (q
3
, Y, L)
δ(q
3
, a) = (q
3
, a, L)
δ(q
3
, X) = (q
0
, X , R) Xq
0
c
δ(q
0
, Y ) = (q
4
, Y, R) b, c
δ(q
4
, Y ) = (q
4
, Y, R)
-ãK
的定
δ(q
4
, b) = (q
5
, b, R)
到第bq
5
δ(q
5
, Z) = (q
5
, Z, R )
c
δ(q
5
, c) = (q
6
, c, R)
到第cq
6
δ(q
6
, c) = (q
7
, c, R)
ccq
7
δ(q
7
, ) = (q
8
, , 0)
δ(q
0
, b) = (q
5
, b, R)
n = 0
-ãK
的定
δ(q
4
, b) = (q
5
, b, R) 到第bq
5
δ(q
5
, Z) = (q
5
, Z, R )
c
δ(q
5
, c) = (q
6
, c, R)
到第cq
6
δ(q
6
, c) = (q
7
, c, R)
ccq
7
δ(q
7
, ) = (q
8
, , 0)
δ(q
0
, b) = (q
5
, b, R)
n = 0
-ãK
的定
δ(q
4
, b) = (q
5
, b, R) 到第bq
5
δ(q
5
, Z) = (q
5
, Z, R )
c
δ(q
5
, c) = (q
6
, c, R)
到第cq
6
δ(q
6
, c) = (q
7
, c, R)
ccq
7
δ(q
7
, ) = (q
8
, , 0)
δ(q
0
, b) = (q
5
, b, R)
n = 0
-ãK
的定
δ(q
4
, b) = (q
5
, b, R) 到第bq
5
δ(q
5
, Z) = (q
5
, Z, R ) c
δ(q
5
, c) = (q
6
, c, R)
到第cq
6
δ(q
6
, c) = (q
7
, c, R)
ccq
7
δ(q
7
, ) = (q
8
, , 0)
δ(q
0
, b) = (q
5
, b, R)
n = 0
-ãK
的定
δ(q
4
, b) = (q
5
, b, R) 到第bq
5
δ(q
5
, Z) = (q
5
, Z, R ) c
δ(q
5
, c) = (q
6
, c, R)
到第cq
6
δ(q
6
, c) = (q
7
, c, R)
ccq
7
δ(q
7
, ) = (q
8
, , 0)
δ(q
0
, b) = (q
5
, b, R)
n = 0
-ãK
的定
δ(q
4
, b) = (q
5
, b, R) 到第bq
5
δ(q
5
, Z) = (q
5
, Z, R ) c
δ(q
5
, c) = (q
6
, c, R) 到第cq
6
δ(q
6
, c) = (q
7
, c, R)
ccq
7
δ(q
7
, ) = (q
8
, , 0)
δ(q
0
, b) = (q
5
, b, R)
n = 0
-ãK
的定
δ(q
4
, b) = (q
5
, b, R) 到第bq
5
δ(q
5
, Z) = (q
5
, Z, R ) c
δ(q
5
, c) = (q
6
, c, R) 到第cq
6
δ(q
6
, c) = (q
7
, c, R)
ccq
7
δ(q
7
, ) = (q
8
, , 0)
δ(q
0
, b) = (q
5
, b, R)
n = 0
-ãK
的定
δ(q
4
, b) = (q
5
, b, R) 到第bq
5
δ(q
5
, Z) = (q
5
, Z, R ) c
δ(q
5
, c) = (q
6
, c, R) 到第cq
6
δ(q
6
, c) = (q
7
, c, R) ccq
7
δ(q
7
, ) = (q
8
, , 0)
δ(q
0
, b) = (q
5
, b, R)
n = 0
-ãK
的定
δ(q
4
, b) = (q
5
, b, R) 到第bq
5
δ(q
5
, Z) = (q
5
, Z, R ) c
δ(q
5
, c) = (q
6
, c, R) 到第cq
6
δ(q
6
, c) = (q
7
, c, R) ccq
7
δ(q
7
, ) = (q
8
, , 0)
δ(q
0
, b) = (q
5
, b, R)
n = 0
-ãK
的定
δ(q
4
, b) = (q
5
, b, R) 到第bq
5
δ(q
5
, Z) = (q
5
, Z, R ) c
δ(q
5
, c) = (q
6
, c, R) 到第cq
6
δ(q
6
, c) = (q
7
, c, R) ccq
7
δ(q
7
, ) = (q
8
, , 0)
δ(q
0
, b) = (q
5
, b, R)
n = 0
-ãK
的定
δ(q
4
, b) = (q
5
, b, R) 到第bq
5
δ(q
5
, Z) = (q
5
, Z, R ) c
δ(q
5
, c) = (q
6
, c, R) 到第cq
6
δ(q
6
, c) = (q
7
, c, R) ccq
7
δ(q
7
, ) = (q
8
, , 0)
δ(q
0
, b) = (q
5
, b, R)
n = 0
-ãK
的定
δ(q
4
, b) = (q
5
, b, R) 到第bq
5
δ(q
5
, Z) = (q
5
, Z, R ) c
δ(q
5
, c) = (q
6
, c, R) 到第cq
6
δ(q
6
, c) = (q
7
, c, R) ccq
7
δ(q
7
, ) = (q
8
, , 0)
δ(q
0
, b) = (q
5
, b, R) n = 0
-ãK
的定
~3 (½A = {0
2
n
|n 0}TM)
Äg´µ
1 lm×£§1iÎ10
2 XJÚ½1§fþ{10§KÉ
3 XJÚ½1§fþ0ê´Øu1Ûê§Ká
ý
4 ÖÞ£fý
5 £Ú½1
-ãK
的定
~3 (½A = {0
2
n
|n 0}TM)
Äg´µ
1 lm×£§1iÎ10
2 XJÚ½1§fþ{10§KÉ
3 XJÚ½1§fþ0ê´Øu1Ûê§Ká
ý
4 ÖÞ£fý
5 £Ú½1
-ãK
的定
~3 (½A = {0
2
n
|n 0}TM)
Äg´µ
1 lm×£§1iÎ10
2 XJÚ½1§fþ{10§KÉ
3 XJÚ½1§fþ0ê´Øu1Ûê§Ká
ý
4 ÖÞ£fý
5 £Ú½1
-ãK
的定
~3 (½A = {0
2
n
|n 0}TM)
Äg´µ
1 lm×£§1iÎ10
2 XJÚ½1§fþ{10§KÉ
3 XJÚ½1§fþ0ê´Øu1Ûê§Ká
ý
4 ÖÞ£fý
5 £Ú½1
-ãK
的定
~3 (½A = {0
2
n
|n 0}TM)
Äg´µ
1 lm×£§1iÎ10
2 XJÚ½1§fþ{10§KÉ
3 XJÚ½1§fþ0ê´Øu1Ûê§Ká
ý
4 ÖÞ£fý
5 £Ú½1
-ãK
的定
~3 (½A = {0
2
n
|n 0}TM)
Äg´µ
1 lm×£§1iÎ10
2 XJÚ½1§fþ{10§KÉ
3 XJÚ½1§fþ0ê´Øu1Ûê§Ká
ý
4 ÖÞ£fý
5 £Ú½1
-ãK
的定
~3 (½A = {0
2
n
|n 0}TM)
Äg´µ
1 lm×£§1iÎ10
2 XJÚ½1§fþ{10§KÉ
3 XJÚ½1§fþ0ê´Øu1Ûê§Ká
ý
4 ÖÞ£fý
5 £Ú½1
-ãK
的定
q
1
0 · · · 0 端点q
1
0 ,R
q
2
q
2
uv
u = 00q
2
0x,R
q
3
u = q
2
R
q
accept
u = xq
2
xR
q
2
xq
3
uv:
u = xq
3
xR
q
3
u = 0q
3
0R
q
4
u = q
3
L
q
5
-ãK
的定
q
1
0 · · · 0 端点q
1
0 ,R
q
2
q
2
uv
u = 00q
2
0x,R
q
3
u = q
2
R
q
accept
u = xq
2
xR
q
2
xq
3
uv:
u = xq
3
xR
q
3
u = 0q
3
0R
q
4
u = q
3
L
q
5
-ãK
的定
q
1
0 · · · 0 端点q
1
0 ,R
q
2
q
2
uv
u = 00q
2
0x,R
q
3
u = q
2
R
q
accept
u = xq
2
xR
q
2
xq
3
uv:
u = xq
3
xR
q
3
u = 0q
3
0R
q
4
u = q
3
L
q
5
-ãK
的定
q
1
0 · · · 0 端点q
1
0 ,R
q
2
q
2
uv
u = 00q
2
0x,R
q
3
u = q
2
R
q
accept
u = xq
2
xR
q
2
xq
3
uv:
u = xq
3
xR
q
3
u = 0q
3
0R
q
4
u = q
3
L
q
5
-ãK
的定
q
1
0 · · · 0 端点q
1
0 ,R
q
2
q
2
uv
u = 00q
2
0x,R
q
3
u = q
2
R
q
accept
u = xq
2
xR
q
2
xq
3
uv:
u = xq
3
xR
q
3
u = 0q
3
0R
q
4
u = q
3
L
q
5
-ãK
的定
q
1
0 · · · 0 端点q
1
0 ,R
q
2
q
2
uv
u = 00q
2
0x,R
q
3
u = q
2
R
q
accept
u = xq
2
xR
q
2
xq
3
uv:
u = xq
3
xR
q
3
u = 0q
3
0R
q
4
u = q
3
L
q
5
-ãK
的定
q
1
0 · · · 0 端点q
1
0 ,R
q
2
q
2
uv
u = 00q
2
0x,R
q
3
u = q
2
R
q
accept
u = xq
2
xR
q
2
xq
3
uv:
u = xq
3
xR
q
3
u = 0q
3
0R
q
4
u = q
3
L
q
5
-ãK
的定
q
1
0 · · · 0 端点q
1
0 ,R
q
2
q
2
uv
u = 00q
2
0x,R
q
3
u = q
2
R
q
accept
u = xq
2
xR
q
2
xq
3
uv:
u = xq
3
xR
q
3
u = 0q
3
0R
q
4
u = q
3
L
q
5
-ãK
的定
q
1
0 · · · 0 端点q
1
0 ,R
q
2
q
2
uv
u = 00q
2
0x,R
q
3
u = q
2
R
q
accept
u = xq
2
xR
q
2
xq
3
uv:
u = xq
3
xR
q
3
u = 0q
3
0R
q
4
u = q
3
L
q
5
-ãK
的定
q
1
0 · · · 0 端点q
1
0 ,R
q
2
q
2
uv
u = 00q
2
0x,R
q
3
u = q
2
R
q
accept
u = xq
2
xR
q
2
xq
3
uv:
u = xq
3
xR
q
3
u = 0q
3
0R
q
4
u = q
3
L
q
5
-ãK
的定
0q
4
uv
u = 00q
4
0x,R
q
3
;
u = xq
4
xR
q
4
;
u = Û0拒绝q
4
R
q
reject
uq
5
v :
u = 0, xq
5
0L,xL
q
5
;
u = q
5
R
q
2
-ãK
的定
0q
4
uv
u = 00q
4
0x,R
q
3
;
u = xq
4
xR
q
4
;
u = Û0拒绝q
4
R
q
reject
uq
5
v :
u = 0, xq
5
0L,xL
q
5
;
u = q
5
R
q
2
-ãK
的定
0q
4
uv
u = 00q
4
0x,R
q
3
;
u = xq
4
xR
q
4
;
u = Û0拒绝q
4
R
q
reject
uq
5
v :
u = 0, xq
5
0L,xL
q
5
;
u = q
5
R
q
2
-ãK
的定
0q
4
uv
u = 00q
4
0x,R
q
3
;
u = xq
4
xR
q
4
;
u = Û0拒绝q
4
R
q
reject
uq
5
v :
u = 0, xq
5
0L,xL
q
5
;
u = q
5
R
q
2
-ãK
的定
0q
4
uv
u = 00q
4
0x,R
q
3
;
u = xq
4
xR
q
4
;
u = Û0拒绝q
4
R
q
reject
uq
5
v :
u = 0, xq
5
0L,xL
q
5
;
u = q
5
R
q
2
-ãK
的定
0q
4
uv
u = 00q
4
0x,R
q
3
;
u = xq
4
xR
q
4
;
u = Û0拒绝q
4
R
q
reject
uq
5
v :
u = 0, xq
5
0L,xL
q
5
;
u = q
5
R
q
2
-ãK
的定
0q
4
uv
u = 00q
4
0x,R
q
3
;
u = xq
4
xR
q
4
;
u = Û0拒绝q
4
R
q
reject
uq
5
v :
u = 0, xq
5
0L,xL
q
5
;
u = q
5
R
q
2
-ãK
的定
0q
4
uv
u = 00q
4
0x,R
q
3
;
u = xq
4
xR
q
4
;
u = Û0拒绝q
4
R
q
reject
uq
5
v :
u = 0, xq
5
0L,xL
q
5
;
u = q
5
R
q
2
-ãK
的定
q
1
0000 `
q
2
000 ` xq
3
00 ` x0q
4
0 ` x0xq
3
` x0q
5
x `
xq
5
0x ` q
5
x0x ` q
5
x0x ` q
2
x0x ` xq
2
0x ` xxq
3
x `
xxxq
3
` xxq
5
x ` xq
5
xx ` q
5
xxx ` q
5
xxx ` q
2
xxx `
xq
2
xx ` xxq
2
x ` xxxq
2
` xxx q
accept
-ãK
的定
q
1
0000 ` q
2
000 `
xq
3
00 ` x0q
4
0 ` x0xq
3
` x0q
5
x `
xq
5
0x ` q
5
x0x ` q
5
x0x ` q
2
x0x ` xq
2
0x ` xxq
3
x `
xxxq
3
` xxq
5
x ` xq
5
xx ` q
5
xxx ` q
5
xxx ` q
2
xxx `
xq
2
xx ` xxq
2
x ` xxxq
2
` xxx q
accept
-ãK
的定
q
1
0000 ` q
2
000 ` xq
3
00 `
x0q
4
0 ` x0xq
3
` x0q
5
x `
xq
5
0x ` q
5
x0x ` q
5
x0x ` q
2
x0x ` xq
2
0x ` xxq
3
x `
xxxq
3
` xxq
5
x ` xq
5
xx ` q
5
xxx ` q
5
xxx ` q
2
xxx `
xq
2
xx ` xxq
2
x ` xxxq
2
` xxx q
accept
-ãK
的定
q
1
0000 ` q
2
000 ` xq
3
00 ` x0q
4
0 `
x0xq
3
` x0q
5
x `
xq
5
0x ` q
5
x0x ` q
5
x0x ` q
2
x0x ` xq
2
0x ` xxq
3
x `
xxxq
3
` xxq
5
x ` xq
5
xx ` q
5
xxx ` q
5
xxx ` q
2
xxx `
xq
2
xx ` xxq
2
x ` xxxq
2
` xxx q
accept
-ãK
的定
q
1
0000 ` q
2
000 ` xq
3
00 ` x0q
4
0 ` x0xq
3
`
x0q
5
x `
xq
5
0x ` q
5
x0x ` q
5
x0x ` q
2
x0x ` xq
2
0x ` xxq
3
x `
xxxq
3
` xxq
5
x ` xq
5
xx ` q
5
xxx ` q
5
xxx ` q
2
xxx `
xq
2
xx ` xxq
2
x ` xxxq
2
` xxx q
accept
-ãK
的定
q
1
0000 ` q
2
000 ` xq
3
00 ` x0q
4
0 ` x0xq
3
` x0q
5
x `
xq
5
0x ` q
5
x0x ` q
5
x0x ` q
2
x0x ` xq
2
0x ` xxq
3
x `
xxxq
3
` xxq
5
x ` xq
5
xx ` q
5
xxx ` q
5
xxx ` q
2
xxx `
xq
2
xx ` xxq
2
x ` xxxq
2
` xxx q
accept
-ãK
的定
q
1
0000 ` q
2
000 ` xq
3
00 ` x0q
4
0 ` x0xq
3
` x0q
5
x `
xq
5
0x `
q
5
x0x ` q
5
x0x ` q
2
x0x ` xq
2
0x ` xxq
3
x `
xxxq
3
` xxq
5
x ` xq
5
xx ` q
5
xxx ` q
5
xxx ` q
2
xxx `
xq
2
xx ` xxq
2
x ` xxxq
2
` xxx q
accept
-ãK
的定
q
1
0000 ` q
2
000 ` xq
3
00 ` x0q
4
0 ` x0xq
3
` x0q
5
x `
xq
5
0x ` q
5
x0x `
q
5
x0x ` q
2
x0x ` xq
2
0x ` xxq
3
x `
xxxq
3
` xxq
5
x ` xq
5
xx ` q
5
xxx ` q
5
xxx ` q
2
xxx `
xq
2
xx ` xxq
2
x ` xxxq
2
` xxx q
accept
-ãK
的定
q
1
0000 ` q
2
000 ` xq
3
00 ` x0q
4
0 ` x0xq
3
` x0q
5
x `
xq
5
0x ` q
5
x0x ` q
5
x0x `
q
2
x0x ` xq
2
0x ` xxq
3
x `
xxxq
3
` xxq
5
x ` xq
5
xx ` q
5
xxx ` q
5
xxx ` q
2
xxx `
xq
2
xx ` xxq
2
x ` xxxq
2
` xxx q
accept
-ãK
的定
q
1
0000 ` q
2
000 ` xq
3
00 ` x0q
4
0 ` x0xq
3
` x0q
5
x `
xq
5
0x ` q
5
x0x ` q
5
x0x ` q
2
x0x `
xq
2
0x ` xxq
3
x `
xxxq
3
` xxq
5
x ` xq
5
xx ` q
5
xxx ` q
5
xxx ` q
2
xxx `
xq
2
xx ` xxq
2
x ` xxxq
2
` xxx q
accept
-ãK
的定
q
1
0000 ` q
2
000 ` xq
3
00 ` x0q
4
0 ` x0xq
3
` x0q
5
x `
xq
5
0x ` q
5
x0x ` q
5
x0x ` q
2
x0x ` xq
2
0x `
xxq
3
x `
xxxq
3
` xxq
5
x ` xq
5
xx ` q
5
xxx ` q
5
xxx ` q
2
xxx `
xq
2
xx ` xxq
2
x ` xxxq
2
` xxx q
accept
-ãK
的定
q
1
0000 ` q
2
000 ` xq
3
00 ` x0q
4
0 ` x0xq
3
` x0q
5
x `
xq
5
0x ` q
5
x0x ` q
5
x0x ` q
2
x0x ` xq
2
0x ` xxq
3
x `
xxxq
3
` xxq
5
x ` xq
5
xx ` q
5
xxx ` q
5
xxx ` q
2
xxx `
xq
2
xx ` xxq
2
x ` xxxq
2
` xxx q
accept
-ãK
的定
q
1
0000 ` q
2
000 ` xq
3
00 ` x0q
4
0 ` x0xq
3
` x0q
5
x `
xq
5
0x ` q
5
x0x ` q
5
x0x ` q
2
x0x ` xq
2
0x ` xxq
3
x `
xxxq
3
`
xxq
5
x ` xq
5
xx ` q
5
xxx ` q
5
xxx ` q
2
xxx `
xq
2
xx ` xxq
2
x ` xxxq
2
` xxx q
accept
-ãK
的定
q
1
0000 ` q
2
000 ` xq
3
00 ` x0q
4
0 ` x0xq
3
` x0q
5
x `
xq
5
0x ` q
5
x0x ` q
5
x0x ` q
2
x0x ` xq
2
0x ` xxq
3
x `
xxxq
3
` xxq
5
x `
xq
5
xx ` q
5
xxx ` q
5
xxx ` q
2
xxx `
xq
2
xx ` xxq
2
x ` xxxq
2
` xxx q
accept
-ãK
的定
q
1
0000 ` q
2
000 ` xq
3
00 ` x0q
4
0 ` x0xq
3
` x0q
5
x `
xq
5
0x ` q
5
x0x ` q
5
x0x ` q
2
x0x ` xq
2
0x ` xxq
3
x `
xxxq
3
` xxq
5
x ` xq
5
xx `
q
5
xxx ` q
5
xxx ` q
2
xxx `
xq
2
xx ` xxq
2
x ` xxxq
2
` xxx q
accept
-ãK
的定
q
1
0000 ` q
2
000 ` xq
3
00 ` x0q
4
0 ` x0xq
3
` x0q
5
x `
xq
5
0x ` q
5
x0x ` q
5
x0x ` q
2
x0x ` xq
2
0x ` xxq
3
x `
xxxq
3
` xxq
5
x ` xq
5
xx ` q
5
xxx `
q
5
xxx ` q
2
xxx `
xq
2
xx ` xxq
2
x ` xxxq
2
` xxx q
accept
-ãK
的定
q
1
0000 ` q
2
000 ` xq
3
00 ` x0q
4
0 ` x0xq
3
` x0q
5
x `
xq
5
0x ` q
5
x0x ` q
5
x0x ` q
2
x0x ` xq
2
0x ` xxq
3
x `
xxxq
3
` xxq
5
x ` xq
5
xx ` q
5
xxx ` q
5
xxx `
q
2
xxx `
xq
2
xx ` xxq
2
x ` xxxq
2
` xxx q
accept
-ãK
的定
q
1
0000 ` q
2
000 ` xq
3
00 ` x0q
4
0 ` x0xq
3
` x0q
5
x `
xq
5
0x ` q
5
x0x ` q
5
x0x ` q
2
x0x ` xq
2
0x ` xxq
3
x `
xxxq
3
` xxq
5
x ` xq
5
xx ` q
5
xxx ` q
5
xxx ` q
2
xxx `
xq
2
xx ` xxq
2
x ` xxxq
2
` xxx q
accept
-ãK
的定
q
1
0000 ` q
2
000 ` xq
3
00 ` x0q
4
0 ` x0xq
3
` x0q
5
x `
xq
5
0x ` q
5
x0x ` q
5
x0x ` q
2
x0x ` xq
2
0x ` xxq
3
x `
xxxq
3
` xxq
5
x ` xq
5
xx ` q
5
xxx ` q
5
xxx ` q
2
xxx `
xq
2
xx `
xxq
2
x ` xxxq
2
` xxx q
accept
-ãK
的定
q
1
0000 ` q
2
000 ` xq
3
00 ` x0q
4
0 ` x0xq
3
` x0q
5
x `
xq
5
0x ` q
5
x0x ` q
5
x0x ` q
2
x0x ` xq
2
0x ` xxq
3
x `
xxxq
3
` xxq
5
x ` xq
5
xx ` q
5
xxx ` q
5
xxx ` q
2
xxx `
xq
2
xx ` xxq
2
x `
xxxq
2
` xxx q
accept
-ãK
的定
q
1
0000 ` q
2
000 ` xq
3
00 ` x0q
4
0 ` x0xq
3
` x0q
5
x `
xq
5
0x ` q
5
x0x ` q
5
x0x ` q
2
x0x ` xq
2
0x ` xxq
3
x `
xxxq
3
` xxq
5
x ` xq
5
xx ` q
5
xxx ` q
5
xxx ` q
2
xxx `
xq
2
xx ` xxq
2
x ` xxxq
2
`
xxx q
accept
-ãK
的定
q
1
0000 ` q
2
000 ` xq
3
00 ` x0q
4
0 ` x0xq
3
` x0q
5
x `
xq
5
0x ` q
5
x0x ` q
5
x0x ` q
2
x0x ` xq
2
0x ` xxq
3
x `
xxxq
3
` xxq
5
x ` xq
5
xx ` q
5
xxx ` q
5
xxx ` q
2
xxx `
xq
2
xx ` xxq
2
x ` xxxq
2
` xxx q
accept
-ãK
的定
q
1
start
q
2
q
5
q
3
q
reject
q
accept
q
4
0 ,R
R, x R
x R
0 x, R
R
0 L, x L
R
x R
L
0 R
x R
0 x, R
R
-ãK
的定
~4 (½A = {w#w|w {0, 1}
}TM)
Äg´µéuÑ\iÎG
3#ü>éA5££Ä§uùéAÎÒ´
ÄÓ
XJØ´§½övk#§Káý
¤kuLÎÒ
#ý¤kÎÒѧu#mý´ÄkÎ
Ò"XJkÒáý§ÄKÉ"
-ãK
的定
~4 (½A = {w#w|w {0, 1}
}TM)
Äg´µéuÑ\iÎG
3#ü>éA5££Ä§uùéAÎÒ´
ÄÓ
XJØ´§½övk#§Káý
¤kuLÎÒ
#ý¤kÎÒѧu#mý´ÄkÎ
Ò"XJkÒáý§ÄKÉ"
-ãK
的定
~4 (½A = {w#w|w {0, 1}
}TM)
Äg´µéuÑ\iÎG
3#ü>éA5££Ä§uùéAÎÒ´
ÄÓ
XJØ´§½övk#§Káý
¤kuLÎÒ
#ý¤kÎÒѧu#mý´ÄkÎ
Ò"XJkÒáý§ÄKÉ"
-ãK
的定
~4 (½A = {w#w|w {0, 1}
}TM)
Äg´µéuÑ\iÎG
3#ü>éA5££Ä§uùéAÎÒ´
ÄÓ
XJØ´§½övk#§Káý
¤kuLÎÒ
#ý¤kÎÒѧu#mý´ÄkÎ
Ò"XJkÒáý§ÄKÉ"
-ãK
的定
~4 (½A = {w#w|w {0, 1}
}TM)
Äg´µéuÑ\iÎG
3#ü>éA5££Ä§uùéAÎÒ´
ÄÓ
XJØ´§½övk#§Káý
¤kuLÎÒ
#ý¤kÎÒѧu#mý´ÄkÎ
Ò"XJkÒáý§ÄKÉ"
-ãK
的定
~4 (½A = {w#w|w {0, 1}
}TM)
Äg´µéuÑ\iÎG
3#ü>éA5££Ä§uùéAÎÒ´
ÄÓ
XJØ´§½övk#§Káý
¤kuLÎÒ
#ý¤kÎÒѧu#mý´ÄkÎ
Ò"XJkÒáý§ÄKÉ"
-ãK
的定
q
1
0(1)
q
1
0x,R
q
2
q
2
0,1R
q
2
q
2
R
q
reject
q
2
#R
q
4
q
4
xR
q
4
q
4
0x,L
q
6
q
4
,1L
q
rejcet
-ãK
的定
q
1
0(1)
q
1
0x,R
q
2
q
2
0,1R
q
2
q
2
R
q
reject
q
2
#R
q
4
q
4
xR
q
4
q
4
0x,L
q
6
q
4
,1L
q
rejcet
-ãK
的定
q
1
0(1)
q
1
0x,R
q
2
q
2
0,1R
q
2
q
2
R
q
reject
q
2
#R
q
4
q
4
xR
q
4
q
4
0x,L
q
6
q
4
,1L
q
rejcet
-ãK
的定
q
1
0(1)
q
1
0x,R
q
2
q
2
0,1R
q
2
q
2
R
q
reject
q
2
#R
q
4
q
4
xR
q
4
q
4
0x,L
q
6
q
4
,1L
q
rejcet
-ãK
的定
q
1
0(1)
q
1
0x,R
q
2
q
2
0,1R
q
2
q
2
R
q
reject
q
2
#R
q
4
q
4
xR
q
4
q
4
0x,L
q
6
q
4
,1L
q
rejcet
-ãK
的定
q
1
0(1)
q
1
0x,R
q
2
q
2
0,1R
q
2
q
2
R
q
reject
q
2
#R
q
4
q
4
xR
q
4
q
4
0x,L
q
6
q
4
,1L
q
rejcet
-ãK
的定
q
1
0(1)
q
1
0x,R
q
2
q
2
0,1R
q
2
q
2
R
q
reject
q
2
#R
q
4
q
4
xR
q
4
q
4
0x,L
q
6
q
4
,1L
q
rejcet
-ãK
的定
q
1
0(1)
q
1
0x,R
q
2
q
2
0,1R
q
2
q
2
R
q
reject
q
2
#R
q
4
q
4
xR
q
4
q
4
0x,L
q
6
q
4
,1L
q
rejcet
-ãK
的定
q
1
0(1)
q
1
0x,R
q
2
q
2
0,1R
q
2
q
2
R
q
reject
q
2
#R
q
4
q
4
xR
q
4
q
4
0x,L
q
6
q
4
,1L
q
rejcet
-ãK
的定
q
6
0,1,xL
q
6
q
6
#L
q
7
q
7
0,1L
q
7
q
7
xR
q
1
q
1
#R
q
8
q
8
xR
q
8
q
8
R
q
accept
q
8
0,1R
q
reject
-ãK
的定
q
6
0,1,xL
q
6
q
6
#L
q
7
q
7
0,1L
q
7
q
7
xR
q
1
q
1
#R
q
8
q
8
xR
q
8
q
8
R
q
accept
q
8
0,1R
q
reject
-ãK
的定
q
6
0,1,xL
q
6
q
6
#L
q
7
q
7
0,1L
q
7
q
7
xR
q
1
q
1
#R
q
8
q
8
xR
q
8
q
8
R
q
accept
q
8
0,1R
q
reject
-ãK
的定
q
6
0,1,xL
q
6
q
6
#L
q
7
q
7
0,1L
q
7
q
7
xR
q
1
q
1
#R
q
8
q
8
xR
q
8
q
8
R
q
accept
q
8
0,1R
q
reject
-ãK
的定
q
6
0,1,xL
q
6
q
6
#L
q
7
q
7
0,1L
q
7
q
7
xR
q
1
q
1
#R
q
8
q
8
xR
q
8
q
8
R
q
accept
q
8
0,1R
q
reject
-ãK
的定
q
6
0,1,xL
q
6
q
6
#L
q
7
q
7
0,1L
q
7
q
7
xR
q
1
q
1
#R
q
8
q
8
xR
q
8
q
8
R
q
accept
q
8
0,1R
q
reject
-ãK
的定
q
6
0,1,xL
q
6
q
6
#L
q
7
q
7
0,1L
q
7
q
7
xR
q
1
q
1
#R
q
8
q
8
xR
q
8
q
8
R
q
accept
q
8
0,1R
q
reject
-ãK
的定
q
6
0,1,xL
q
6
q
6
#L
q
7
q
7
0,1L
q
7
q
7
xR
q
1
q
1
#R
q
8
q
8
xR
q
8
q
8
R
q
accept
q
8
0,1R
q
reject
-ãK
的定
0
x
10
y
得到0
f(x,y)
f(x, y) =
x y x > y
0 x y
Ùx, y 1
0
δ(q
0
, 0) = (q
1
, , R)
1q
2
δ(q
1
, 0) = (q
1
, 0, R) δ(q
1
, 1) = (q
2
, 1, R)
1的第01
δ(q
2
, 0) = (q
3
, 1, L) δ(q
2
, 1) = (q
2
, 1, R)
-ãK
的定
0
x
10
y
得到0
f(x,y)
f(x, y) =
x y x > y
0 x y
Ùx, y 1
0
δ(q
0
, 0) = (q
1
, , R)
1q
2
δ(q
1
, 0) = (q
1
, 0, R) δ(q
1
, 1) = (q
2
, 1, R)
1的第01
δ(q
2
, 0) = (q
3
, 1, L) δ(q
2
, 1) = (q
2
, 1, R)
-ãK
的定
0
x
10
y
得到0
f(x,y)
f(x, y) =
x y x > y
0 x y
Ùx, y 1
0
δ(q
0
, 0) = (q
1
, , R)
1q
2
δ(q
1
, 0) = (q
1
, 0, R) δ(q
1
, 1) = (q
2
, 1, R)
1的第01
δ(q
2
, 0) = (q
3
, 1, L) δ(q
2
, 1) = (q
2
, 1, R)
-ãK
的定
0
x
10
y
得到0
f(x,y)
f(x, y) =
x y x > y
0 x y
Ùx, y 1
0 δ(q
0
, 0) = (q
1
, , R)
1q
2
δ(q
1
, 0) = (q
1
, 0, R) δ(q
1
, 1) = (q
2
, 1, R)
1的第01
δ(q
2
, 0) = (q
3
, 1, L) δ(q
2
, 1) = (q
2
, 1, R)
-ãK
的定
0
x
10
y
得到0
f(x,y)
f(x, y) =
x y x > y
0 x y
Ùx, y 1
0 δ(q
0
, 0) = (q
1
, , R)
1q
2
δ(q
1
, 0) = (q
1
, 0, R) δ(q
1
, 1) = (q
2
, 1, R)
1的第01
δ(q
2
, 0) = (q
3
, 1, L) δ(q
2
, 1) = (q
2
, 1, R)
-ãK
的定
0
x
10
y
得到0
f(x,y)
f(x, y) =
x y x > y
0 x y
Ùx, y 1
0 δ(q
0
, 0) = (q
1
, , R)
1q
2
δ(q
1
, 0) = (q
1
, 0, R)
δ(q
1
, 1) = (q
2
, 1, R)
1的第01
δ(q
2
, 0) = (q
3
, 1, L) δ(q
2
, 1) = (q
2
, 1, R)
-ãK
的定
0
x
10
y
得到0
f(x,y)
f(x, y) =
x y x > y
0 x y
Ùx, y 1
0 δ(q
0
, 0) = (q
1
, , R)
1q
2
δ(q
1
, 0) = (q
1
, 0, R) δ(q
1
, 1) = (q
2
, 1, R)
1的第01
δ(q
2
, 0) = (q
3
, 1, L) δ(q
2
, 1) = (q
2
, 1, R)
-ãK
的定
0
x
10
y
得到0
f(x,y)
f(x, y) =
x y x > y
0 x y
Ùx, y 1
0 δ(q
0
, 0) = (q
1
, , R)
1q
2
δ(q
1
, 0) = (q
1
, 0, R) δ(q
1
, 1) = (q
2
, 1, R)
1的第01
δ(q
2
, 0) = (q
3
, 1, L) δ(q
2
, 1) = (q
2
, 1, R)
-ãK
的定
0
x
10
y
得到0
f(x,y)
f(x, y) =
x y x > y
0 x y
Ùx, y 1
0 δ(q
0
, 0) = (q
1
, , R)
1q
2
δ(q
1
, 0) = (q
1
, 0, R) δ(q
1
, 1) = (q
2
, 1, R)
1的第01
δ(q
2
, 0) = (q
3
, 1, L)
δ(q
2
, 1) = (q
2
, 1, R)
-ãK
的定
0
x
10
y
得到0
f(x,y)
f(x, y) =
x y x > y
0 x y
Ùx, y 1
0 δ(q
0
, 0) = (q
1
, , R)
1q
2
δ(q
1
, 0) = (q
1
, 0, R) δ(q
1
, 1) = (q
2
, 1, R)
1的第01
δ(q
2
, 0) = (q
3
, 1, L) δ(q
2
, 1) = (q
2
, 1, R)
-ãK
的定
δ(q
3
, 1) = (q
3
, 1, L) δ(q
3
, 0) = (q
3
, 0, L)
最左(x > y):
δ(q
3
, ) = (q
0
, , R)
10
δ(q
2
, ) = (q
4
, , L)
1 :
δ(q
4
, 1) = (q
4
, , L)
δ(q
4
, 0) = (q
4
, 0, L)
0
δ(q
4
, ) = (q
6
, 0, R)
-ãK
的定
δ(q
3
, 1) = (q
3
, 1, L) δ(q
3
, 0) = (q
3
, 0, L)
最左(x > y):
δ(q
3
, ) = (q
0
, , R)
10
δ(q
2
, ) = (q
4
, , L)
1 :
δ(q
4
, 1) = (q
4
, , L)
δ(q
4
, 0) = (q
4
, 0, L)
0
δ(q
4
, ) = (q
6
, 0, R)
-ãK
的定
δ(q
3
, 1) = (q
3
, 1, L)
δ(q
3
, 0) = (q
3
, 0, L)
最左(x > y):
δ(q
3
, ) = (q
0
, , R)
10
δ(q
2
, ) = (q
4
, , L)
1 :
δ(q
4
, 1) = (q
4
, , L)
δ(q
4
, 0) = (q
4
, 0, L)
0
δ(q
4
, ) = (q
6
, 0, R)
-ãK
的定
δ(q
3
, 1) = (q
3
, 1, L) δ(q
3
, 0) = (q
3
, 0, L)
最左(x > y):
δ(q
3
, ) = (q
0
, , R)
10
δ(q
2
, ) = (q
4
, , L)
1 :
δ(q
4
, 1) = (q
4
, , L)
δ(q
4
, 0) = (q
4
, 0, L)
0
δ(q
4
, ) = (q
6
, 0, R)
-ãK
的定
δ(q
3
, 1) = (q
3
, 1, L) δ(q
3
, 0) = (q
3
, 0, L)
最左(x > y):
δ(q
3
, ) = (q
0
, , R)
10
δ(q
2
, ) = (q
4
, , L)
1 :
δ(q
4
, 1) = (q
4
, , L)
δ(q
4
, 0) = (q
4
, 0, L)
0
δ(q
4
, ) = (q
6
, 0, R)
-ãK
的定
δ(q
3
, 1) = (q
3
, 1, L) δ(q
3
, 0) = (q
3
, 0, L)
最左(x > y):δ(q
3
, ) = (q
0
, , R)
10
δ(q
2
, ) = (q
4
, , L)
1 :
δ(q
4
, 1) = (q
4
, , L)
δ(q
4
, 0) = (q
4
, 0, L)
0
δ(q
4
, ) = (q
6
, 0, R)
-ãK
的定
δ(q
3
, 1) = (q
3
, 1, L) δ(q
3
, 0) = (q
3
, 0, L)
最左(x > y):δ(q
3
, ) = (q
0
, , R)
10
δ(q
2
, ) = (q
4
, , L)
1 :
δ(q
4
, 1) = (q
4
, , L)
δ(q
4
, 0) = (q
4
, 0, L)
0
δ(q
4
, ) = (q
6
, 0, R)
-ãK
的定
δ(q
3
, 1) = (q
3
, 1, L) δ(q
3
, 0) = (q
3
, 0, L)
最左(x > y):δ(q
3
, ) = (q
0
, , R)
10δ(q
2
, ) = (q
4
, , L)
1 :
δ(q
4
, 1) = (q
4
, , L)
δ(q
4
, 0) = (q
4
, 0, L)
0
δ(q
4
, ) = (q
6
, 0, R)
-ãK
的定
δ(q
3
, 1) = (q
3
, 1, L) δ(q
3
, 0) = (q
3
, 0, L)
最左(x > y):δ(q
3
, ) = (q
0
, , R)
10δ(q
2
, ) = (q
4
, , L)
1 :
δ(q
4
, 1) = (q
4
, , L)
δ(q
4
, 0) = (q
4
, 0, L)
0
δ(q
4
, ) = (q
6
, 0, R)
-ãK
的定
δ(q
3
, 1) = (q
3
, 1, L) δ(q
3
, 0) = (q
3
, 0, L)
最左(x > y):δ(q
3
, ) = (q
0
, , R)
10δ(q
2
, ) = (q
4
, , L)
1 :δ(q
4
, 1) = (q
4
, , L)
δ(q
4
, 0) = (q
4
, 0, L)
0
δ(q
4
, ) = (q
6
, 0, R)
-ãK
的定
δ(q
3
, 1) = (q
3
, 1, L) δ(q
3
, 0) = (q
3
, 0, L)
最左(x > y):δ(q
3
, ) = (q
0
, , R)
10δ(q
2
, ) = (q
4
, , L)
1 :δ(q
4
, 1) = (q
4
, , L)
δ(q
4
, 0) = (q
4
, 0, L)
0
δ(q
4
, ) = (q
6
, 0, R)
-ãK
的定
δ(q
3
, 1) = (q
3
, 1, L) δ(q
3
, 0) = (q
3
, 0, L)
最左(x > y):δ(q
3
, ) = (q
0
, , R)
10δ(q
2
, ) = (q
4
, , L)
1 :δ(q
4
, 1) = (q
4
, , L)
δ(q
4
, 0) = (q
4
, 0, L)
0
δ(q
4
, ) = (q
6
, 0, R)
-ãK
的定
δ(q
3
, 1) = (q
3
, 1, L) δ(q
3
, 0) = (q
3
, 0, L)
最左(x > y):δ(q
3
, ) = (q
0
, , R)
10δ(q
2
, ) = (q
4
, , L)
1 :δ(q
4
, 1) = (q
4
, , L)
δ(q
4
, 0) = (q
4
, 0, L)
0δ(q
4
, ) = (q
6
, 0, R)
-ãK
的定
x y10
δ(q
0
, 1) = (q
5
, , R)
0, 1部变 :
δ(q
5
, 1) = (q
5
, , R), δ(q
5
, 0) = (q
5
, , R)
δ(q
5
, ) = (q
6
, , R)
-ãK
的定
x y10
δ(q
0
, 1) = (q
5
, , R)
0, 1部变 :
δ(q
5
, 1) = (q
5
, , R), δ(q
5
, 0) = (q
5
, , R)
δ(q
5
, ) = (q
6
, , R)
-ãK
的定
x y10δ(q
0
, 1) = (q
5
, , R)
0, 1部变 :
δ(q
5
, 1) = (q
5
, , R), δ(q
5
, 0) = (q
5
, , R)
δ(q
5
, ) = (q
6
, , R)
-ãK
的定
x y10δ(q
0
, 1) = (q
5
, , R)
0, 1部变 :
δ(q
5
, 1) = (q
5
, , R), δ(q
5
, 0) = (q
5
, , R)
δ(q
5
, ) = (q
6
, , R)
-ãK
的定
x y10δ(q
0
, 1) = (q
5
, , R)
0, 1部变 :
δ(q
5
, 1) = (q
5
, , R), δ(q
5
, 0) = (q
5
, , R)
δ(q
5
, ) = (q
6
, , R)
-ãK
的定
x y10δ(q
0
, 1) = (q
5
, , R)
0, 1部变 :
δ(q
5
, 1) = (q
5
, , R), δ(q
5
, 0) = (q
5
, , R)
δ(q
5
, ) = (q
6
, , R)
-ãK
的定
x y10δ(q
0
, 1) = (q
5
, , R)
0, 1部变 :
δ(q
5
, 1) = (q
5
, , R), δ(q
5
, 0) = (q
5
, , R)
δ(q
5
, ) = (q
6
, , R)
-ãK
的定
~5 (E½C = {a
i
b
j
c
k
| i × j = k, i, j, j 1}TM)
w
1 Ùa
+
b
+
c
+
2 端点
3 abb, c
b, c直至bc后还
b拒绝
4 ab3
ac
拒绝
-ãK
的定
~5 (E½C = {a
i
b
j
c
k
| i × j = k, i, j, j 1}TM)
w
1 Ùa
+
b
+
c
+
2 端点
3 abb, c
b, c直至bc后还
b拒绝
4 ab3
ac
拒绝
-ãK
的定
~5 (E½C = {a
i
b
j
c
k
| i × j = k, i, j, j 1}TM)
w
1 Ùa
+
b
+
c
+
2 端点
3 abb, c
b, c直至bc后还
b拒绝
4 ab3
ac
拒绝
-ãK
的定
~5 (E½C = {a
i
b
j
c
k
| i × j = k, i, j, j 1}TM)
w
1 Ùa
+
b
+
c
+
2 端点
3 abb, c
b, c直至bc后还
b拒绝
4 ab3
ac
拒绝
-ãK
的定
~5 (E½C = {a
i
b
j
c
k
| i × j = k, i, j, j 1}TM)
w
1 Ùa
+
b
+
c
+
2 端点
3 abb, c
b, c直至bc后还
b拒绝
4 ab3
ac
拒绝
-ãK
的定
~5 (E½C = {a
i
b
j
c
k
| i × j = k, i, j, j 1}TM)
w
1 Ùa
+
b
+
c
+
2 端点
3 abb, c
b, c直至bc后还
b拒绝
4 ab3
ac
拒绝
-ãK
的定
~5 (E½C = {a
i
b
j
c
k
| i × j = k, i, j, j 1}TM)
w
1 Ùa
+
b
+
c
+
2 端点
3 abb, c
b, c直至bc后还
b拒绝
4 ab3
ac
拒绝
-ãK
的定
拥有用于
始时输Ù
δ : Q × Γ
k
Q × Γ
k
× {L, R, S}
k
δ(q
i
, a
1
, · · · , a
k
) = (q
i
, b
1
, · · · , b
k
, L, R, · · · , L)
-ãK
的定
½n1 (zõã(ÅÑdu,üã(Å)
单带方法
#«
各个Ù
-ãK
的定
½n1 (zõã(ÅÑdu,üã(Å)
单带方法
#«
各个Ù
-ãK
的定
½n1 (zõã(ÅÑdu,üã(Å)
单带方法
#«
各个Ù
-ãK
的定
½n1 (zõã(ÅÑdu,üã(Å)
单带方法
#«
各个Ù
-ãK
的定
-ãK
的定
w = w
1
w
2
· · · w
n
()#
w
1
w
2
· · · w
n
#
#
# · · · #
端点的第#
端点的第k + 1#
TM
动到#
模拟
íØ1 (,ó´ã(£O£½¤§=
3õã(Å£O£½¤§)
-ãK
的定
w = w
1
w
2
· · · w
n
()#
w
1
w
2
· · · w
n
#
#
# · · · #
端点的第#
端点的第k + 1#
TM
动到#
模拟
íØ1 (,ó´ã(£O£½¤§=
3õã(Å£O£½¤§)
-ãK
的定
w = w
1
w
2
· · · w
n
()#
w
1
w
2
· · · w
n
#
#
# · · · #
端点的第#
端点的第k + 1#
TM
动到#
模拟
íØ1 (,ó´ã(£O£½¤§=
3õã(Å£O£½¤§)
-ãK
的定
w = w
1
w
2
· · · w
n
()#
w
1
w
2
· · · w
n
#
#
# · · · #
端点的第#
端点的第k + 1#
TM
动到#
模拟
íØ1 (,ó´ã(£O£½¤§=
3õã(Å£O£½¤§)
-ãK
的定
w = w
1
w
2
· · · w
n
()#
w
1
w
2
· · · w
n
#
#
# · · · #
端点的第#
端点的第k + 1#
TM
动到#
模拟
íØ1 (,ó´ã(£O£½¤§=
3õã(Å£O£½¤§)
-ãK
的定
w = w
1
w
2
· · · w
n
()#
w
1
w
2
· · · w
n
#
#
# · · · #
端点的第#
端点的第k + 1#
TM
动到#
模拟
íØ1 (,ó´ã(£O£½¤§=
3õã(Å£O£½¤§)
-ãK
的定
w = w
1
w
2
· · · w
n
()#
w
1
w
2
· · · w
n
#
#
# · · · #
端点的第#
端点的第k + 1#
TM
动到#
模拟
íØ1 (,ó´ã(£O£½¤§=
3õã(Å£O£½¤§)
-ãK
的定
Ù的动
δ : Q × Γ P(Q × Γ × {L, R})
½n2 (z(½.ã(Ådu,(½.ã(Å)
Äg´µÿÁ¤kU©|"XJU3,©|
ÉG§KÉÄKت"
éäAæ^/°Ý`k0üѧØU´/
Ý`k0üÑ"
-ãK
的定
Ù的动
δ : Q × Γ P(Q × Γ × {L, R})
½n2 (z(½.ã(Ådu,(½.ã(Å)
Äg´µÿÁ¤kU©|"XJU3,©|
ÉG§KÉÄKت"
éäAæ^/°Ý`k0üѧØU´/
Ý`k0üÑ"
-ãK
的定
Ù的动
δ : Q × Γ P(Q × Γ × {L, R})
½n2 (z(½.ã(Ådu,(½.ã(Å)
Äg´µÿÁ¤kU©|"XJU3,©|
ÉG§KÉÄKت"
éäAæ^/°Ý`k0üѧØU´/
Ý`k0üÑ"
-ãK
的定
Ù的动
δ : Q × Γ P(Q × Γ × {L, R})
½n2 (z(½.ã(Ådu,(½.ã(Å)
Äg´µÿÁ¤kU©|"XJU3,©|
ÉG§KÉÄKت"
éäAæ^/°Ý`k0üѧØU´/
Ý`k0üÑ"
-ãK
的定
Ù的动
δ : Q × Γ P(Q × Γ × {L, R})
½n2 (z(½.ã(Ådu,(½.ã(Å)
Äg´µÿÁ¤kU©|"XJU3,©|
ÉG§KÉÄKت"
éäAæ^/°Ý`k0üѧØU´/
Ý`k0üÑ"
-ãK
的定
¯
¯
式是
~6 (E½D
1
= {p | p´kê)xõª})
x的多p
x = 0, 1, 1, 2, 2, 3, 3, · · · pp = 0
-ãK
的定
¯
¯
式是
~6 (E½D
1
= {p | p´kê)xõª})
x的多p
x = 0, 1, 1, 2, 2, 3, 3, · · · pp = 0
-ãK
的定
¯
¯
式是
~6 (E½D
1
= {p | p´kê)xõª})
x的多p
x = 0, 1, 1, 2, 2, 3, 3, · · · pp = 0
-ãK
的定
¯
¯
式是
~6 (E½D
1
= {p | p´kê)xõª})
x的多p
x = 0, 1, 1, 2, 2, 3, 3, · · · pp = 0
-ãK
的定
¯
½n3 (£Û-ãK)
{úVgÒuã(Å{"
模拟
存储模拟存储带
δ存储
-ãK
的定
¯
½n3 (£Û-ãK)
{úVgÒuã(Å{"
模拟
存储模拟存储带
δ存储
-ãK
的定
¯
½n3 (£Û-ãK)
{úVgÒuã(Å{"
模拟
存储模拟存储带
δ存储
-ãK
的定
¯
½n3 (£Û-ãK)
{úVgÒuã(Å{"
模拟
存储模拟存储带
δ存储
-ãK
的定
¯
½n3 (£Û-ãK)
{úVgÒuã(Å{"
模拟
存储模拟存储带
δ存储
-ãK
的定
¯
½n3 (£Û-ãK)
{úVgÒuã(Å{"
模拟
存储模拟存储带
δ存储
-ãK